Part A: Introduction, Basic Theory and Examples

J. Barwise


H.-D. Ebbinghaus

Part B: Finitary Languages with Additional Quantifiers

M. Kaufmann


J. H. Schmerl


A. Baudisch, D. Seese, P. Tuschik, M. Weese

Part C: Infinitary Languages

M. Nadel


M. Nadel


M. A. Dickmann

Part D: Second-Order Logic

J. Baldwin


Y. Gurevich

Part E: Logics of Topology and Analysis

C. I. Steinhorn

Part F: Advanced Topics in Abstract Model Theory

J. Väänänen


J. A. Makowsky


J. A. Makowsky, D. Mundici


J. A. Makowsky

D. S. Scott
,
D. C. McCarty
,
J. F. Horty
