東海大学蔵書検索

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

レイモンド・M・スマリヤン著 ; 川辺治之訳. -- 日本評論社, 2017. -- (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻). <BB00579018>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約 WEB書棚
0001 12号館 開架室 410.96/S/1 0010014786281 配架済 0件
No. 0001
巻号
所蔵館 12号館
配置場所 開架室
請求記号 410.96/S/1
資料ID 0010014786281
状態 配架済
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
フカンゼンセイ テイリ ノ リカイ ノ タメ ニ
出版・頒布事項 東京 : 日本評論社 , 2017.9
形態事項 iii, 363p ; 22cm
巻号情報
ISBN 9784535787728
書誌構造リンク スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳||スマリヤン スウリ ロンリガク コウギ <BB00582157> 上巻//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- <AU00152902>
著者標目リンク 川辺, 治之||カワベ, ハルユキ <AU00188496>
著者標目リンク 田中, 一之||タナカ, カズユキ <AU00001691>
分類標目 数学 NDC8:410.96
分類標目 数学 NDC9:410.96
ローカル分類標目 NDC9:410.96
件名標目等 記号論理学||キゴウロンリガク
レコードID BB00579018