Introduction to mathematical logic - Moore style
Arnold W. Miller
This is a set of 288 questions written for a Moore-style course
in Mathematical Logic. I have used these (or some variation)
four times in a beginning graduate course. Topics covered are:
propositional logic
axioms of ZFC
wellorderings and equivalents of AC
ordinal and cardinal arithmetic
first order logic, and the compactness theorem
Lowenheim-Skolem theorems
Turing machines, Church's Thesis
completeness theorem and first incompleteness theorem
undecidable theories
second incompleteness theorem
LaTeX 2.09 75 pages
If you would like hardcopy, email me your name and address as you
would like it to appear on the mailing label (miller@math.wisc.edu).
TeX source and Postscript version are also available from:
http://www.math.wisc.edu/~miller