TY - BOOK TI - Model-Theoretic Logics SN - 0387909362 U1 - 511.8 PY - 1985/// CY - New York PB - Springer-Verlag ER -