A First Course In Mathematical Logic And Set Th... -

: Introduces symbolic logic, truth tables, and two-column proofs to establish a base for logical inference.

: Includes the construction of number systems (naturals, ordinals, cardinals) and concludes with an introduction to model theory . Key Theorems Covered A First Course in Mathematical Logic and Set Th...

: Defines these fundamental structures strictly within the framework of set theory. : Introduces symbolic logic, truth tables, and two-column

: Well-Ordering Theorem; Cantor–Schröder–Bernstein Theorem; Burali-Forti Paradox. Comparison of Popular Introductory Texts : Introduces symbolic logic