• 1 件中、 1 件目

数学における証明と真理 　

菊池 誠／編 -- 共立出版 -- 2016.3 -- 410 ／410

https://www2.tosyo-saga.jp/kentosyo2/opac/switch-detail.do?bibid=1101917441

• • 予約かごへ
• • 本棚へ

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立（本館）	新庫２層	/410/SA66/	115615130	一般図書	利用可	在架

ページの先頭へ

資料詳細

タイトル	数学における証明と真理
副書名	様相論理と数学基礎論
著者	菊池 誠 ／編, 佐野 勝彦 ／著, 倉橋 太志 ／著, 薄葉 季路 ／著, 黒川 英徳 ／著, 菊池 誠 ／著
出版者	共立出版
出版年	2016.3
ページ数	10,288p
大きさ	22cm
一般件名	証明(数学) , 様相(論理学)
NDC分類	410 ／ 410
内容紹介	数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説する。
ISBN	978-4-320-11148-6

ページの先頭へ

所蔵場所が「大和書庫」（所蔵場所の名称が、「大和講堂」、「大和研修」、
「大和新１」、「大和新２」、「大和新３」）の本については、遠方に保管
しているため、お取り寄せに１０日程度かかる場合がありますので、
ご了承ください。（貸出中の場合は、返却後となります。）
なお、「大和書庫」の本は、あらかじめ予約をお願いいたします。

状態が「市町巡回貸出」の本については、市町図書館支援のため優先貸出中です。
当館での提供開始までに最長3か月程度かかりますので、ご了承ください。