Second-order logic: properties, semantics, and existential commitments
scientific article; zbMATH DE number 7435320