Gianluca Curzi

この記事では、非帰納的証明とそれらの計算論理における役割について考察します。