Rutger Kuyper

Math 571: Mathematical Logic (Fall 2015)

Office hours

403 Van Vleck Hall
Monday, Wednesday, Friday 9:55-10:45

Course textbook

We will mainly be following A Mathematical Introduction to Logic, Second Edition by Herbert B. Enderton, ISBN 978-0122384523. Here you can find a set of lecture notes about natural deduction, which will be updated throughout the semester.


There will be two midterms and one final exam. The grade will be comprised of the two midterms (20% each), the final (40%) and the homework assignments (20%).


Homework will be assigned every week on Friday at the beginning of the lecture, and is due the next Friday, again at the beginning of the lecture. No credit will be given for late homework, except in case of illness or family emergency.


Please check the following handout for more details regarding class policies.