| Material Type | Books |
|---|---|
| Publisher | 東京 : 岩波書店 |
| Year | 1993.11 |
| Language | Japanese |
| Size | v, 118p ; 19cm |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | ISBN | Media type | Restriction | Request Memo | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
410.9/H 48 | 002183277 | 4000065068 | 図書 |
|
|
|
Hide details.
| Authors | 林, 晋(1953-) <ハヤシ, ススム> |
|---|---|
| Subjects | FREE:Gödel, Kurt, 1906-1978 NDLSH:ゲーデルの定理 |
| Classification | NDC8:410.96 NDC8:410.9 NDC7:410.12 NDLC:MA41 |
| ID | 1000040939 |
| ISBN | 4000065068 |
Similar Items
- 1 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
- 2 ゲーデル不完全性発見への道 / 北田均著
- 3 ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
- 4 スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳
- 5 無限と心 : 無限の科学と哲学 / ラディー・ラッカー著 ; 好田順治訳
- 6 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
- 7 応用論理 / 桔梗宏孝著
- 8 無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
- 9 集合論とプラトニズム / 田中一之編
- 10 知識と推論 / 森下真一著
Library Service