資料詳細

【図書】数学における証明と真理様相論理と数学基礎論

菊池　誠　編 -- 共立出版 -- ２０１６．３ -- 410

所蔵

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

資料コード	請求記号	所蔵館	所蔵場所	資料区分	状態
106342033	/410/96/	県立図書館	一般開架	和書	在

状態の表記について
   在：「所蔵場所」にあります。
   貸出中：館外へ貸出中です。

   館内閲覧：館内でご利用ください。館外貸出はできません。
   図書館用：館内でご利用ください。図書館（団体）向けに貸し出す資料です。

タイトル	数学における証明と真理
副書名	様相論理と数学基礎論
著者	菊池　誠　編 , 佐野　勝彦　著 , 倉橋　太志　著 , 薄葉　季路　著 , 黒川　英徳　著 , 菊池　誠　著
出版者	東京　共立出版
出版年	２０１６．３
ページ数	２８８ｐ
大きさ	２２ｃｍ
内容細目注記	文献：部末
一般件名	証明（数学） , 様相（論理学）
NDC分類	410
内容紹介	数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説する。
ISBN	4-320-11148-6
ISBN13桁	978-4-320-11148-6
定価	￥４２００
本体価格	￥４２００