Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 (Lecture Notes in Mathematics, 839)
Cabal Seminar 81-85 Proceedings. Caltech-UCLA Logic Seminar 1981-85
Topological Model Theory (Lecture Notes in Mathematics, 769)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Models of ZF-Set Theory
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics, 669)
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)
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics, 1141)