＜Books＞
ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ ロンリ
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
| Publisher | 東京 : 白揚社 |
|---|---|
| Year | 1990.11 |
| Language | Japanese |
| Size | 279p ; 22cm |
| Authors | Smullyan, Raymond M., 1919- 長尾, 確(1962-) <ナガオ, カタシ> 田中, 朋之(1962-) <タナカ, トモユキ> |
| Subjects | BSH:数学基礎論 NDLSH:ゲーデルの定理 FREE:Gödel, Kurt, 1906-1978 |
| Notes | 原著(New York : A.Knopf, 1987)の全訳 索引: 巻末 |
TOC
Hide book details.
| Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 3F 図書 | 図書 |
|
410.9//Sm8 |
|
4826900449 |
|
|
|
0094004693 |
Similar Items
Usage statistics of this contents
Number of accesses to this page：4times
※After Sep 4, 2017
Total Lendings：0times
(Lending within 3 months：0times)