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
This course will be offered next in
Winter 2022.