MATH 5090---Set Theory and Mathematical Logic

Meets:    TR 2:10-3:30pm, CR 109
Instructor:    Eric Moorhouse,   Ross 216,   766-4394.

<B>What's New?</B>

Please read Chapters 1,2,3 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 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.

Poster   Course announcement

Sample Course Content: A Few Highlights


/ revised January, 2015