The eskolemization of universal quantifiers
scientific article; zbMATH DE number 5947131
scientific article