城西大学水田記念図書館さんの感想・レビュー

数学における証明と真理: 様相論理と数学基礎論

著者 : 菊池誠 佐野勝彦 倉橋太志 薄葉季路 黒川英徳

制作 : 菊池誠 

• 共立出版 (2016年3月24日発売)

2016年4月に実施した学生選書企画で学生の皆さんによって選ばれ購入した本です。
通常の配架場所: 開架図書(3階)
請求記号: 410//Sa66

【選書理由・おすすめコメント】
様々な証明などがあり面白かったから。
（数学科）

感想投稿日 : 2016年5月25日

本棚登録日 : 2016年5月25日