On formally undecidable propositions of Principia Mathematica & related systems

Kurt Gödel & Martin Hirzel

Language: English

Published: Jan 17, 1931

Read?: