ゲーデルの世界 : 完全性定理と不完全性定理
Author(s)
Bibliographic Information
ゲーデルの世界 : 完全性定理と不完全性定理
海鳴社, 1985.5
- Title Transcription
-
ゲーデル ノ セカイ : カンゼンセイ テイリ ト フカンゼンセイ テイリ
Available at / 218 libraries
-
Library & Science Information Center, Osaka Prefecture University
NDC6:410.1||78||A90001312730,90001312748
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
著作一覧: p143-146. 参考文献: p203-205. 索引: 巻末
Contents of Works
- 論理学における述語計算の公理の完全性 = Die Vollständigkeit der Axiome des logischen Funktionenkalküls / [ゲーデル著]
- 『プリンキピア・マテマチカ』や, その関連体系での形式的に決定不可能な命題について, I = Über formal unentscheilbare Stätye der Principia Mathematica und verwandter Systeme, I. / [ゲーデル著]