Welcome Students of Math 571

Here some pdf files that I found on the web. It's possible I might use one as a text. Maybe the one by Simpson.

avigod.pdf
ben-yaacov.pdf
bilaniuk.pdf
gallier.pdf
hermann.pdf
keisler.pdf
simpson.pdf
smith.pdf
walicki.pdf

You can buy a copy of
Patrick Suppes, Introduction to Logic
from Dover Books for 15 dollars. Dover Books

Also I have a collection of problems:
Introduction to Mathematical Logic - Moore style

A popular book on the incompleteness theorem is:
Godel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter (1979).

first day handout

homework

old web sites See in particular M571 Spring 2002.