Topological Model Theory (Lecture Notes in Mathematics, 769)
Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics, 492)
Models of ZF-Set Theory
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
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)
Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)
