愛媛大学図書館

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

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

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 上巻 中央館 3F-東
410.96/SM/1 0312018001807 通常 0件
No. 0001
巻号 上巻
所蔵館 中央館
配置場所 3F-東
請求記号 410.96/SM/1
資料ID 0312018001807
状態 通常
返却予定日
予約 0件

書誌詳細

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