Logic in algebraic form three languages and theories
Craig, William, 1918-
Amsterdam London North-Holland Publishing Co.
1974
Bibliography: p.182-183. - Includes index
First-order logic.
Predicate (Logic)