| 000 | 00951nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1992##################000#0#eng## | ||
| 020 | _a9780486669809 | ||
| 022 | _a91045947 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a511.3 GOD | ||
| 100 | _aGödel, Kurt | ||
| 245 |
_aOn formally undecidable propositions of Principia mathematica and related systems _cKurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite |
||
| 260 |
_aMineola, NY _bDover Publications _c1992 |
||
| 300 | _aviii, 72 p. ; 21 cm. | ||
| 500 | _aTranslation 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 | ||
| 650 | _aGödel's theorem | ||
| 990 | _affbf821cac10000c6b8b107ace67e969 | ||
| 991 | _a134119 | ||
| 999 |
_c26325 _d26325 |
||