MODEL-THEORETIC LOGICS - Barwise, J., ed. Feferman, S., ed. (New York Springer-Verlag, 1985)
Keywords: Model Theory