Substitutions for predicate variables and functional variables
substitutions for predicate variables and functional variables
scientific article; zbMATH DE number 3477118