Model-Theoretic Logics /Edited by Jon Barwise - New York Springer-Verlag 1985. ISBN: 0387909362 Dewey Class. No.: 511.8 / BAR/M