Hauschild Kurt

Generalized Härtig quantifiers