Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
scientific article; zbMATH DE number 2144297