Math 571 Spring 2002
A.Miller homepage
Welcome to Math 571.
first day handout
home.tex .. home.pdf.. Homework Assignments
proplog.tex .. proplog.pdf ... Handout on propositional logic.
It is an excerpt from: logintro.tex .. logintro.pdf
complete.tex .. complete.pdf handout on completeness thm
midterm.tex .. midterm.pdf .. answers at the end..
review.tex .. review.pdf.. Review questions for final exam.
final.tex .. final.pdf
email announcements 2-13... 3-1... 5-6... 5-10...
571-1987.pdf .. Old exams

If you want to read a clear definition of the class primitive recursive functions, see the first 10 pages of Steve Simpson's class notes: math558

Files with extension .pdf are readible using Adobe's free Acrobat browser plugin (www.adobe.com) Get Acrobat. You can print from this program.
The files of the form *.tex are plain ascii and in the markup language TeX (by D.Knuth) with macro package LaTeX. You can read these if you ignore the typesetting commands, eg $ \ etc.