Model theoretic logics Model-theoretic logics (Springer, 1985)
Literaturverz. S. (793) - 893