Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
first-order logic extended by quantification over functions
scientific article; zbMATH DE number 1192479
scientific article