レイモンド・M.スマリヤン/著 -- 日本評論社 -- 2017.9 -- 410.96

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 4階自然 11 /410.96/スマ/1142270 1111422700 閲可 貸可 協可 個人貸出

資料詳細

タイトル スマリヤン数理論理学講義 上巻
巻の書名 不完全性定理の理解のために
著者 レイモンド・M.スマリヤン /著, 田中 一之 /監訳, 川辺 治之 /訳  
出版地 東京
出版者 日本評論社
出版年 2017.9
ページ数 3,363p
大きさ 22cm
翻訳原書名注記 原タイトル:A beginner's guide to mathematical logic
一般件名 記号論理学
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。上巻は、命題論理、一階述語論理などを収録。解説も掲載。
ISBN13桁 978-4-535-78772-8 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 410.96