Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic

スポンサーリンク

概要

著者

関連論文

スポンサーリンク