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

University of Waterloo

Waterloo, Ontario

B
3 votes

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.

Added by Alan on 2005-01-21 01:20:00

Log in with Facebook to add a comment

Log in with Facebook to participate in the Q&A.