PHIL 4723
Introduction to Mathematical Logic
An introduction to first-order logic including the completeness, compactness, and Lowenheim-Skolem theorems, and Godel's incompleteness theorems. Spring 1 Course Unit
Sources
- Course catalogue ↗2026–2027
An introduction to first-order logic including the completeness, compactness, and Lowenheim-Skolem theorems, and Godel's incompleteness theorems. Spring 1 Course Unit