ゲーデルの世界 : 完全性定理と不完全性定理
著者
書誌事項
ゲーデルの世界 : 完全性定理と不完全性定理
海鳴社, 1985.5
- タイトル読み
-
ゲーデル ノ セカイ : カンゼンセイ テイリ ト フカンゼンセイ テイリ
大学図書館所蔵 件 / 全218件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
著作一覧: p143-146. 参考文献: p203-205. 索引: 巻末
収録内容
- 論理学における述語計算の公理の完全性 = Die Vollständigkeit der Axiome des logischen Funktionenkalküls / [ゲーデル著]
- 『プリンキピア・マテマチカ』や, その関連体系での形式的に決定不可能な命題について, I = Über formal unentscheilbare Stätye der Principia Mathematica und verwandter Systeme, I. / [ゲーデル著]