Topological Model Theory (Lecture Notes in Mathematics, 769)
Models of ZF-Set Theory
Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics, 492)
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)
Model Theory : An Introduction
Algebraic Model Theory (Nato Science Series C:, 496)
