| Course: | LPS/Phil 105B & 205B |
| Name: | Metalogic |
| Description: | This is an introduction to the meta-theory of first-order logic. The course covers the syntax and semantics of propositional and first-order logic, and the soundness and completeness results for such logics. Time permitting, other topics, e.g., modal logic or topics in model theory, are also discussed. |