武蔵大学図書館

不完全性定理の理解のために

レイモンド・M・スマリヤン著 ; 川辺治之訳. -- 日本評論社, 2017. -- (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻). <BB10120936>

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 図書館 2階一般図書 410.12//26 0115259368 0件
No. 0001
巻号
所蔵館 図書館
配置場所 2階一般図書
請求記号 410.12//26
資料ID 0115259368
禁帯出区分
状態
返却予定日
予約 0件

書誌詳細

タイトル/著者名等 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
フカンゼンセイ テイリ ノ リカイ ノ タメ ニ
出版事項 東京 : 日本評論社 , 2017.9
形態事項 iii, 363p ; 22cm
巻号情報
ISBN 9784535787728
シリーズ名等 スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳||スマリヤン スウリ ロンリガク コウギ <BB10125498> 上巻//b
その他のタイトル 原タイトル:A beginner's guide to mathematical logic
その他のタイトル 標題紙タイトル:Lectures on mathematical logic for understanding the incompleteness theorems
注記 監訳: 田中一之
注記 文献: p[352]-354
NCID BB24549788
本文言語 日本語
著者標目 Smullyan, Raymond M., 1919- <AU00037967>
著者標目 川辺, 治之||カワベ, ハルユキ <AU10028459>
著者標目 田中, 一之||タナカ, カズユキ <AU10008699>
分類 数学 NDC8:410.96
分類 数学 NDC9:410.96
件名 記号論理学||キゴウロンリガク