cientific Publishing, 2007. HOUSE_OVERSIGHT_016078 Bibliography 389 Franzén, Torkel. Gédel’s Theorem: An 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.