Cut elimination theorem for second order arithmetic with the Π11-comprehension axiom and the ω-rule

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人 日本数学会の論文

著者

• YASUGI Mariko

  Carnegie-Mellon University

関連論文

• Cut elimination theorem for second order arithmetic with the Π11-comprehension axiom and the ω-rule

スポンサーリンク