Department of Mathematics, McGill University Phone: 514-398-3812
Answers to assnmt 1
Answers to asnmt 2
Answers to Assnmt 3
The Tarski machine
Answers to assignment 4
Answers to assignment 5
Answers to assnmt 6
Midterm answers 2005
Midterm answers 2007
Notes : title page
section 1.1
section 1.2
section 1.3
section 2.1
section 2.2
section2.3
Figures 1
section 3.1
section 3.2
Figures 2
Section 4.1
Section 4.2
Section 4.3
Section 5.1
Section 5.2
Section 5.3
Section 6.1
Section 6.2
Section 6.3
Rules of natural deduction
Examples for entailments in predicate logic
For comments or help, please contact M. Makkai