Model-theoretic Logics (1985)

by J Barwise, S Feferman