TY - GEN AU - Feferman, S TI - Model-theoretic logics SN - 0387909362 U1 - 511.'8 PY - 1985/// CY - New York PB - Springer-Verlag N1 - Contine bibliografie ER -