On formally undecidable propositions of Principia mathematica and related systems - Gödel, Kurt (New York)
viii, 72 s.