PMATH 432 - Mathematical Logic
First-order languages and structures, syntactic provability and semantic truth, the soundness and completeness theorems, compactness and its consequences, elementary equivalence, the ZFC axioms of set theory, ordinals, cardinals, computability, and Gödel's incompleteness theorem.
Offerings
Fall 2025 [1259]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 7032 | 17 / 81 | 08:30 - 09:20 | M,W,F | | |
| LEC 001 | 7032 | 17 / 81 | 08:30 - 09:20 | M,W,F | | |
Fall 2023 [1239]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 8795 | 9 / 35 | 16:30 - 17:20 | M,W,F | | |
Winter 2022 [1221]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 6565 | 17 / 30 | 10:30 - 11:20 | M,W,F | RCH 206 | Jason Bell |
Winter 2020 [1201]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 8638 | 21 / 30 | 11:30 - 12:50 | T,Th | MC 4063 | Dino Rossegger |
Winter 2018 [1181]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 8593 | 21 / 30 | 08:30 - 09:50 | T,Th | QNC 1506 | Levon Haykazyan |
Winter 2016 [1161]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 7689 | 10 / 30 | 14:30 - 15:20 | M,W,F | RCH 306 | Ross D Willard |
Winter 2014 [1141]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 7326 | 13 / 30 | 10:30 - 11:20 | M,W,F | QNC 2501 | Barbara Csima |
Winter 2012 [1121]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 7531 | 22 / 30 | 08:30 - 09:50 | T,Th | MC 4058 | Barbara Csima |
Fall 2009 [1099]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 7171 | 28 / 30 | 10:30 - 11:20 | M,W,F | MC 4063 | Barbara Csima |
Fall 2007 [1079]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 4827 | 17 / 20 | 11:30 - 12:50 | M,W | MC 5045 | Barbara Csima |
Winter 2006 [1061]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 4934 | 14 / 25 | 10:00 - 11:20 | T,Th,P,H,Y | | Rahim Moosa |
Fall 2004 [1049]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 4690 | 10 / 30 | 09:30 - 10:50 | T,Th,M,C | | Rahim Moosa |
Winter 2003 [1031]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 4682 | 22 / 40 | 14:30 - 15:20 | M,W,F,M,C | | Ross D Willard |