Model-theoretic studies on subsystems of second order arithmetic

スポンサーリンク

概要

• 論文の詳細を見る
• 東北大学の論文
• 2000-09-00

著者

• Yamazaki Takeshi

  Mathematical Institute Tohoku University

関連論文

• Model-theoretic studies on subsystems of second order arithmetic

スポンサーリンク