Welcome students of Math 771!

daily log file
firstday handout , books and prerequisites for m771
prerequisites for m776 , basic first-order logic


These two are excerpted from my 770 book:

Introduction to Mathematical Logic - Moore style
logintro.abs Abstract in plain ascii
logintro.tex Latex 2.09
logintro.pdf PDF