MHF 4203, Section 123, 23665
MHF 5207, Section 1958, 23666
MWF 6th (12:50-1:40), Little 221 and/or online
Instructor: Douglas Cenzer
Office: 310 Little Hall, 294-2350
Email: cenzer@ufl.edu
Internet: www.people.clas/cenzer
Office Hours: M7, W4, F5, and by appointment.
TEXT: Foundations of Mathematics, D. Cenzer, J. Larson, C. Porter, J. Zapletal, Forthcoming
REFERENCES
Enderton: A Mathematical Introduction to Logic
Hodel: An Introduction to Mathematical Logic
Hopcroft and Ullman: Introduction to Automata Theory, Languages and Computation
Leary: A Friendly Introduction to Mathematical Logic
Monk: Mathematical Logic
COURSE HANDOUTS/LINKS