n Incomplete Guide to Its Use and Abuse. AK Peters/CRC Press, 2005. Godel, Kurt. On Formally Undecidable Propositions of “Principia Mathematica” and Related Systems. New edition. Dover Publications Inc., 2003. Goldrei, D.C. Classic Set Theory: A Guided Introduction. Chapman and Hall/CRC, 1996. Hofstadter, Dougl