ゲーデル ノ フカンゼンセイ テイリ
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
データ種別 | 図書 |
---|---|
著者標目 | Smullyan, Raymond M., 1919- 高橋, 昌一郎(1959-) 訳 <タカハシ, ショウイチロウ> |
出版者 | 東京 : 丸善 |
出版年 | 1996.7 |
書誌詳細を非表示
別書名 | 原タイトル:Gödel's incompleteness theorems |
---|---|
巻次 | ISBN:4621042041 ; PRICE:3914円 |
大きさ | xi, 220p ; 22cm |
本文言語 | 日本語 |
一般注記 | 原著(Oxford: Oxford University Press, 1992)の全訳 参考文献: p211-212 索引: p217-220 |
件 名 | BSH:記号論理学 NDLSH:ゲーデルの定理 |
分 類 | NDC9:410.96 NDC8:410.96 NDC8:410.9 NDC7:410.12 NDLC:MA41 |
書誌ID | 1000174214 |
ISBN | 4621042041 |
NCID | BN14775093 |