Kurt Gödel – On formally undecidable propositions of Principia Mathematica and related systems. English translation of (Gödel 1931) with an introduction by (1962)

by B Meltzer