Syntactic preservation theorems for intuitionistic predicate logic
scientific article; zbMATH DE number 5758439