Log in with Facebook to participate in the Q&A.
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