Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
scientific article; zbMATH DE number 4164800
scientific article