On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
| データ種別 | 図書 |
|---|---|
| 出版者 | New York : Dover Publications |
| 出版年 | 1992 |
| 本文言語 | 英語 |
| 大きさ | viii, 72 p. ; 21 cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 予約 | 指定図書グループ |
|---|---|---|---|---|---|---|---|---|
| 2F図書 (自然科学・技術・産業・芸術) | pbk. | 410.1||G56 | 9950052236 |
|
|
|
書誌詳細を非表示
| 別書名 | 原タイトル:Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I |
|---|---|
| 一般注記 | 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 |
| 著者標目 | *Gödel, Kurt, 1906-1978 |
| 統一書名標目 | Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I |
| 分 類 | LCC:QA248 DC20:511.3 |
| 件 名 | LCSH:Gödel's theorem |
| 書誌ID | TY00032272 |
| NCID | BA20362041 |
