数学における証明と真理―様相論理と数学基礎論― 菊池 誠編・佐野 勝彦・倉橋 太志・薄葉 季路・黒川 英徳・菊池 誠著 ISBN:978-4-320-11148-6判型/ページ数:A5 / 304ページ発行年月:2016年03月価格:4,620円(税込) 本書は数理論理学の基礎的な知識を持つ読者を対象として,様相論理の構文論と意味論,ならびに,数学基礎論の専門家以外にも名前はよく知られているゲーデルの不完全性定理,コーエンの強制法,タルスキの真理論と・・・ 数学における証明と真理 書影