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