Raymond Smullyan/[著] -- 丸善出版 -- 2019.12 -- 410.9410.9 410.9 , 410.9

所蔵

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

所蔵館 所蔵場所 棚区分 請求記号 資料コード 資料区分 帯出区分 状態 WEB書棚
山形県立 一般開架 /410.9/スマ/ 109180119 一般和書 帯出可 在庫 iLisvirtual

資料詳細

タイトル スマリヤン不完全性定理
著者 Raymond Smullyan /[著], 高橋 昌一郎 /監訳, 川辺 治之 /訳, 村上 祐子 /訳  
出版者 丸善出版
出版年 2019.12
ページ数 9,178p
大きさ 21cm
一般件名 不完全性定理
NDC分類(9版) 410.9
NDC分類(10版) 410.9
内容紹介 不完全性定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
ISBN 4-621-30478-5 国立国会図書館 カーリル
ISBN13桁 978-4-621-30478-5