日本女子大学図書館システム JWULIS

スマリヤン不完全性定理

Raymond Smullyan [著] ; 川辺治之, 村上祐子訳. -- 改訳版. -- 丸善出版, 2019. <BB30175111>

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 目白地区 図書館目白 ||410.9||Smu 25247160 配架済 0件
No. 0001
巻号
所蔵館 目白地区
配置場所 図書館目白
請求記号 ||410.9||Smu
資料ID 25247160
状態 配架済
返却予定日
予約 0件

書誌詳細

標題および責任表示 スマリヤン不完全性定理 / Raymond Smullyan [著] ; 川辺治之, 村上祐子訳
スマリヤン フカンゼンセイ テイリ
版事項 改訳版
出版・頒布事項 東京 : 丸善出版 , 2019.12
形態事項 ix, 178p ; 21cm
巻号情報
ISBN 9784621304785
その他の標題 異なりアクセスタイトル:不完全性定理 : スマリヤン
フカンゼンセイ テイリ : スマリヤン
その他の標題 原タイトル:Gödel's incompleteness theorems
注記 「Gödel's incompleteness theorems / Raymond Smullyan」(Oxford unversity press, 1992) の改訳版
注記 初版のタイトル等: ゲーデルの不完全性定理 (丸善 1996年刊)
注記 監訳: 高橋昌一郎
注記 参考文献: p[169]-170
学情ID BB29564246
本文言語コード 日本語
著者標目リンク Smullyan, Raymond M., 1919- <AU00041773>
著者標目リンク 高橋, 昌一郎 (1959-)||タカハシ, ショウイチロウ <AU00004069>
著者標目リンク 川辺, 治之||カワベ, ハルユキ <AU00015504>
著者標目リンク 村上, 祐子(1968-)||ムラカミ, ユウコ <AU00090624>
分類標目 数学 NDC8:410.9
分類標目 数学 NDC9:410.9
分類標目 数学 NDC10:410.9
件名標目等 不完全性定理||フカンゼンセイテイリ
件名標目等 ゲーデルの定理||ゲーデルノテイリ