愛知工業大学附属図書館

スマリヤン不完全性定理

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

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 2階 410.9||S 004582755 書架 0件
No. 0001
巻号
所蔵館 図書館
配置場所 2階
請求記号 410.9||S
資料ID 004582755
状態 書架
返却予定日
予約 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- <AU00011979>
著者標目リンク 高橋, 昌一郎 (1959-)||タカハシ, ショウイチロウ <AU00052300>
著者標目リンク 川辺, 治之||カワベ, ハルユキ <AU00019803>
著者標目リンク 村上, 祐子(1968-)||ムラカミ, ユウコ <AU00056382>
分類標目 数学 NDC8:410.9
分類標目 数学 NDC9:410.9
分類標目 数学 NDC10:410.9
件名標目等 不完全性定理||フカンゼンセイテイリ