Model-Theoretic Logics (New York Springer-Verlag, 1985)