[記号論理学]McCuneの群のSingle Axiom について 田中一之先生の『数学基礎論序説』が裳華房より刊行された。数学基礎論序説: 数の体系への論理的アプローチ作者: 田中一之出版社/メーカー: 裳華房発売日: 2019/06/19メディア: 単行本この商品を含むブログを…