Sentential and first-order logic from both deductive and semantic points of view. Some elementary metatheorems.
This course may not be repeated for credit.
Antirequisite(s)
- Credit for Philosophy 279 and 377 will not be allowed.
Sections
| LEC 1 | MWF 12:00 - 12:50
| | Richard Zach | | Outline |
| Notes: Students registering in L1 must also register in one of T1-4. |
| TUT 1 | W 09:00 - 09:50
| | | | |
| TUT 2 | W 10:00 - 10:50
| | | | |
| TUT 3 | F 09:00 - 09:50
| | | | |
| TUT 4 | F 10:00 - 10:50
| | | | |
This course will be offered next in
Winter 2022.