A First Course In Mathematical Logic And Set Th... May 2026

: Includes the construction of number systems (naturals, ordinals, cardinals) and concludes with an introduction to model theory . Key Theorems Covered

While O'Leary's text is comprehensive, other common "First Course" options serve different academic needs: A First Course in Mathematical Logic and Set Theory | Wiley A First Course in Mathematical Logic and Set Th...

: Defines these fundamental structures strictly within the framework of set theory. : Includes the construction of number systems (naturals,

The course provides coverage of several landmark results in mathematical foundations: A First Course in Mathematical Logic and Set Th...