On Formally Undecidable Propositions of Principia Mathematicon Formally Undecidable Propositions of Principia Mathematica and Related Systems A and Re, Paperback
Kurt Godel
