Welcome Students of Math 571

Final Exam
Wed Dec 17
2:45pm-4:45pm
Van Vleck B223

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.

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 -
logintro.pdf

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

old web sites See in particular M571 Spring 2002.
proplog.pdf
complete.pdf

Also M773-07 Computability theory
cmpthy.pdf