[記号論理学]McCuneの群のSingle Axiom について 田中一之先生の『数学基礎論序説』が裳華房より刊行された。数学基礎論序説: 数の体系への論理的アプローチ作者: 田中一之出版社/メーカー: 裳華房発売日: 2019/06/19メディア: 単行本この商品を含むブログを…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。