发表于2025-03-04
First Course in Mathematical Logic 2025 pdf epub mobi 电子书
图书标签: 逻辑学
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.
First Course in Mathematical Logic 2025 pdf epub mobi 电子书