Collected papers of K. Gödel I : "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" and other titles / Kurt Gödel
| データ種別 | 図書 |
|---|---|
| 出版者 | [s.l.] : [s.n.] |
| 出版年 | [19--] |
| 本文言語 | ドイツ語 |
| 大きさ | 147 p. ; 21 cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 請求メモ | 予約 | 緑丘アーカイブズ |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 書庫(1階) |
|
S 8.1||00074||026905 | 0030269059 |
|
|
19-- | 研究図書 |
|
書誌詳細を非表示
| 内容注記 | Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit Die Vollständigkeit der Axiome des logischen Funktionenkalküls Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I Diskussion zur Grundlegung der Mathematik Ein Spezialfall des Entscheidungsproblems der theoretischen Logik Über Vollständigkeit und Widerspruchsfreiheit Eine Eigenschaft der Realisierungen des Aussagenkalküls Über Unabhängigkeitsbeweise im Aussagenkalkül Überdie metrische Einbettbarkeit der Quadrupel des R3 in Kugelflächen Über die Waldsche Axiomatik des Zwischenbegriffes Zur Axiomatik der elementargeometrischen Verknüpfungsrelationen Zur intuitionistischen Arithmetik und Zahlentheorie Eine Interpretation des intuitionistischen Aussagenkalküls Zum intuitionistischen Aussagenkalkül Zum Entscheidungsproblem des logischen Funktionenkalküls The Consistency of the Axiom of Choice and of the Generalized Continuum-hypothesis Consistency-proof for the Generalized Continuum-hypothesis Russell's Mathematical Logic, "The Philosophy of Bertrand Russell" What is Cantor's Continuum Problem? |
|---|---|
| 一般注記 | Offprint (合冊) |
| 著者標目 | *Gödel, Kurt, 1906-1978 Russell, Bertrand, 1872-1970 |
| 書誌ID | OL00028725 |
| NCID | BA67687130 |