Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
Cabal Seminar 81-85 Proceedings. Caltech-UCLA Logic Seminar 1981-85
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 (Lecture Notes in Mathematics, 839)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Topological Model Theory (Lecture Notes in Mathematics, 769)
Models of ZF-Set Theory
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics, 1141)
Model Theory and Topoi (Lecture Notes in Mathematics, 445)
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics, 70)
