Q&A section for all courses. Add courses and comments anonymously.

PMATH 330

Introduction to Mathematical Logic

A broad introduction to Mathematical Logic. The logic of sentences: truth-functions and axiomatic approaches (eg. Natural Deduction and Gentzen sequences). A brief introduction to the logic of predicates and to the foundations of mathematics.