On Formally Undecidable Propositions Of Principia Mathematica and Related Systems

por Ga!Del, Kurt