First order mathematical logic - Margaris, A (New York Dover, 1990)
Ref.sec
Keywords: FIRST ORDER LOGIC; PREDICATE CALCULUS; QUANTIFIERS