関西学院大学図書館

スマリヤン不完全性定理

Raymond Smullyan[著] ; 川辺治之, 村上祐子訳. -- 改訳版. -- 丸善出版, 2019.12. <BW04040544>
このページのURL:

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

No. 巻号 配架場所 請求記号 資料ID 状態 返却予定日 予約
0001 三田4F図書 164:188(2) 0074966573 0件
No. 0001
巻号
配架場所 三田4F図書
請求記号 164:188(2)
資料ID 0074966573
状態
返却予定日
予約 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
NCID BB29564246
本文言語 日本語
著者標目 Smullyan, Raymond M., 1919- <AU00038235>
著者標目 高橋, 昌一郎(1959-)||タカハシ, ショウイチロウ <AU00149687>
著者標目 川辺, 治之||カワベ, ハルユキ <AU00364219>
著者標目 村上, 祐子(1968-)||ムラカミ, ユウコ <AU00284314>
分類標目 数学 NDC8:410.9
分類標目 数学 NDC9:410.9
分類標目 数学 NDC10:410.9
件名標目等 不完全性定理||フカンゼンセイテイリ