Model-Theoretic Logics /Edited by Jon Barwise - New York Springer-Verlag 1985.

0387909362

511.8 / BAR/M