Search the Library Catalogue
On formally undecidable propositions of Principia mathematica and related systems
Gödel, Kurt
On formally undecidable propositions of Principia mathematica and related systems Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite - Mineola, NY Dover Publications 1992 - viii, 72 p. ; 21 cm.
Translation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published 1931 in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198. Reprint. Originally published: New York : Basic Books, c1962. Includes bibliographical references
9780486669809
91045947
Gödel's theorem
511.3 GOD
On formally undecidable propositions of Principia mathematica and related systems Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite - Mineola, NY Dover Publications 1992 - viii, 72 p. ; 21 cm.
Translation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published 1931 in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198. Reprint. Originally published: New York : Basic Books, c1962. Includes bibliographical references
9780486669809
91045947
Gödel's theorem
511.3 GOD