Michael Makkai

Department of Mathematics, McGill University
Phone: 514-398-3812

MATH 318 Mathematical Logic, Fall 2007

News (continuously updated)

Information sheet

Assignment 1

Answers to assnmt 1

Assignment 2

Answers to asnmt 2

Assignment 3

Answers to Assnmt 3

The Tarski machine

Assignment 4

Answers to assignment 4

Assignment 5

Answers to assignment 5

Assignment 6

Answers to assnmt 6

Midterm questions 2005

Midterm answers 2005

Midterm questions 2007

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