Meets: TR 2:10-3:30pm, CR 109
Instructor: Eric Moorhouse, Ross 216, 766-4394.
Please read Chapters 1,2,3,4,5,7 of the textbook (Cameron) as well as the class handouts. Extra copies of these are found either among the links below, or on the WyoCourses site Calendar.
| Textbook (required):
Sets, Logic and Categories, Peter J. Cameron, Springer, 1998.
|Additional source (optional): Gödel, Escher, Bach: An Eternal Golden Braid, D. Hofstadter, 20th Anniversary Edition, Basic Books, 1999.|
| Additional source (optional):
Gödel's Theorem: An Incomplete Guide to its Use and Abuse, Torkel Franzén, A. K. Peters, 2005.
Additional source (optional): A Course in Mathematical Logic for Mathematicians, 2nd ed., Yu. I. Manin with B. Zilber, Springer, 2010.
| Further reading (optional):
Model Theory: An Introduction, David Marker, Springer, 2002.
|Additional Source (optional): Logicomix: An Epic Search for Truth, A. Doxiadis and C. H. Papadimitriou, Bloomsbury, 2009.|