Mendeley出力
ゲーデル ノ フカンゼンセイ テイリ
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
| データ種別 | 図書 |
|---|---|
| 著者標目 | 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 |