決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ ロンリ
| Publisher | 東京 : 白揚社 |
|---|---|
| Year | 1990.11 |
| Authors | Smullyan, Raymond M., 1919- 長尾, 確(1962-) <ナガオ, カタシ> 田中, 朋之(1962-) <タナカ, トモユキ> |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| Library Main Building 3rd fl. (in Japanese)(2 Weeks Loan) |
|
4100:1370 | 110118489X |
|
|
1997.2 |
|
||
| Library Main Building 3rd fl. (in Japanese)(2 Weeks Loan) |
|
4100:1370A | 110118490P |
|
|
1997.2 |
|
Hide details.
| Material Type | Books |
|---|---|
| Size | 279p ; 22cm |
| Other titles | original title:Forever undecided : a puzzle guide to Gödel |
| Notes | 原著(New York : A.Knopf, 1987)の全訳 索引: 巻末 |
| Subjects | BSH:数学基礎論 NDLSH:ゲーデルの定理 FREE:Gödel, Kurt, 1906-1978 |
| Classification | NDC8:410.9 NDC8:116.3 NDC8:410.96 NDC7:410.1 NDLC:MA41 |
| Language | Japanese |
| ID | 0000206362 |
| ISBN | 4826900449 |
| NCID |
BN05489989 
|
Similar Items
Usage statistics of this contents
Number of accesses to this page：6times