First-order logic and first-order functions
scientific article; zbMATH DE number 6485449