数学における証明と真理 = =Proof and truth in mathematics：様相論理と数学基礎論

Main Authors: 菊池誠 (編著)
Group Author: 佐野勝彦 (著); 倉橋太志 (著); 薄葉季路 (著); 黒川英徳 (著)
Published: 共立出版
Publication Dates: 2016.3
Call Number: WJO141/4933