First course in mathematical logic - Suppes, P; Hill, S (Mieola Dover, 1964)
Ref. sec
Keywords: LOGIC, SYMBOLIC AND MATHEMATICAL; COMMUTATIVE LAWS; TAUTOLOGIES UNIVERSAL QUANTIFIERS; TRUTH AND VALIDITY