On formally undecidable propositions of Principia mathematica and related systems / Translated by B. Meltzer. With introd. by R. B. Braithwaite.
| Author/creator | Gödel, Kurt |
| Format | Book |
| Publication Info | Edinburgh and London : Oliver and Boyd, [©1962] |
| Description | viii, 72 pages ; 19 cm |
| Subjects |
| General note | Translation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931. |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA248 .G573X 1962 | ✔ Available | Place Hold |