TY - BOOK AU - Barwise, J., ed. TI - MODEL-THEORETIC LOGICS SN - 0387909362 U1 - 511.8 PY - 1985/// CY - New York PB - Springer-Verlag KW - Model Theory ER -