＜Books＞
ゲーデルノ フカンゼンセイ テイリ
ゲーデルの不完全性定理 / レイモンド・スマリヤン {著} ; 高橋昌一郎訳
| Publisher | 東京 : 丸善 |
|---|---|
| Year | 1996.7 |
| Size | xi, 220p ; 22cm |
| Authors | Smullyan, Raymond M., 1919- 高橋, 昌一郎(1959- ) <タカハシ, ショウイチロウ(1959- )> |
| Subjects | 記号論理学 ゲーデルの定理 |
| Notes | 原著(Oxford: Oxford University Press, 1992)の全訳 ＼ 参考文献:p211-212. 索引:巻末 原著注記:Godel's incompleteness theorems 原書:Godel's incompleteness theorems |
TOC
Hide book details.
| Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 3F 図書 | 図書 |
|
410.96//Sm8 |
|
4621042041 |
|
|
|
0097016547 |
Similar Items
Usage statistics of this contents
Number of accesses to this page：13times
※After Sep 4, 2017
Total Lendings：3times
(Lending within 3 months：0times)