Course Description
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.
Pre-requisites
(MATH 225/MATH 126 and CS 126/CS 124/CS 114) or MATH 235 or MATH 245; Not open to Computer Science students.