Model Theory and Topoi (Lecture Notes in Mathematics, 445)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Locally Semialgebraic Spaces (Lecture Notes in Mathematics, 1173)
Models of ZF-Set Theory
Around Classification Theory of Models (Lecture Notes in Mathematics, 1182)
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)
Algebraic Model Theory (Nato Science Series C:, 496)
