資料詳細

数理論理学利用可

鹿島亮／著 -- 朝倉書店 -- 2009.10 -- 410.96

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
鳥取県立	書庫	410.9/ｶｼﾏ/一般Ｈ	119163198	一般	利用可

タイトル	数理論理学
書名ヨミ	スウリ　ロンリガク
シリーズ名	現代基礎数学
シリーズ巻次	１５
著者名	鹿島亮／著
著者ヨミ	カシマ，リョウ
出版者	朝倉書店
出版年	2009.10
ページ数等	２１０ｐ
大きさ	２１ｃｍ
内容細目	文献あり　索引あり
一般件名	記号論理学
ISBN	4-254-11765-5
ISBN13桁	978-4-254-11765-3
定価	３３００円
問合わせ番号（書誌番号）	1101649071
NDC8版	410.96
NDC9版	410.96
内容紹介	論理、特に数学における論理を研究対象とする数理論理学。数理論理学の基本結果であるゲーデルの完全性定理、ゲーデルの不完全性定理、ゲンツェンのＬＫのカット除去定理などを平易に、かつ正確に説明した入門書。
著者紹介	１９６５年東京都生まれ。９１年東京工業大学大学院理工学研究科博士課程中退。現在、東京工業大学大学院情報理工学研究科数理・計算科学専攻准教授。