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