決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ ロンリ
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:7times