Correspondences between classical, intuitionistic and uniform provability
scientific article; zbMATH DE number 1495202
scientific article