First Course in Mathematical Logic

Bücher

Angebote / Angebote:

Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers, universal specification and laws of identity, axioms for addition, and universal generalization. 1964 edition. Index.