サブスライス $\mathcal{S}_{3, n}$上の strongly independent な中間論理(数学基礎論とその応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 増田 勲

  東京理科大学理工学部

関連論文

• サブスライス $\mathcal{S}_{3, n}$上の strongly independent な中間論理(数学基礎論とその応用)

スポンサーリンク