: Completeness and Compactness Theorems; Löwenheim–Skolem Theorem.
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
: 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...
: Introduces symbolic logic, truth tables, and two-column proofs to establish a base for logical inference.
The course provides coverage of several landmark results in mathematical foundations: The course provides coverage of several landmark results
by Michael L. O'Leary is a foundational textbook designed to transition students from computational mathematics to rigorous proof-writing. It presents symbolic logic not just as an abstract subject, but as the essential framework for structuring mathematical arguments. Core Course Components
: Defines these fundamental structures strictly within the framework of set theory. and formal languages
: Covers predicates, quantifiers, and formal languages, providing the necessary syntax for writing mathematical proofs.