: Introduces symbolic logic, truth tables, and two-column proofs to establish a base for logical inference.
: Completeness and Compactness Theorems; Löwenheim–Skolem Theorem. A First Course in Mathematical Logic and Set Th...
The course provides coverage of several landmark results in mathematical foundations: : Introduces symbolic logic, truth tables, and two-column
The curriculum typically follows a progression from basic logical structures to advanced foundational theorems: : Introduces symbolic logic
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