Logic in algebraic form : Three languages and theories - Craig, William (Amsterdam : American Elsevier, 1974)
Bibliography: p. 182-183.
2
Keywords: first -- order logic