The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Model Theory and Topoi (Lecture Notes in Mathematics, 445)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Models of ZF-Set Theory
Set Theory and Hierarchy Theory: A Memorial Tribute to Andrzej Mostowski. Bierutowice, Poland, 1975 (Lecture Notes in Mathematics, 537) (English and German Edition)
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
Topological Model Theory (Lecture Notes in Mathematics, 769)
Model Theory and Algebra: A Memorial Tribute to Abraham Robinson (Lecture Notes in Mathematics, 498)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Infinitary Combinatorics and the Axiom of Determinateness (Lecture Notes in Mathematics, 612)