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.