数学における証明と真理

書籍データ

Proof and Truth in Mathematics Proof and Truth in Mathematics : 様相論理と数学基礎論 Sugaku ni okeru shomei to shinri

著者名：菊池誠 編 ; 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著他の作品を見る

出版社：共立

発売日：2016.3

288p 22cm

ISBN：978-4-320-11148-6