Meets: TR 2:10-3:30pm, CR 109
Instructor: Eric
Moorhouse, Ross 216, 766-4394.
Please read Chapter 1 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. |