2階算術の諸体系:モデル論的手法による分析 その2(証明論と逆数学)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク