Best of
Technical
1964
First Course in Mathematical Logic
Patrick C. Suppes - 1964
Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. 1964 edition. Index.