Forcing, Arithmetic, Division Rings (Lecture Notes in Mathematics, 454)
Models of ZF-Set Theory
Topological Model Theory (Lecture Notes in Mathematics, 769)
The Axiom of Constructibility: A Guide for the Mathematician (Lecture Notes in Mathematics, Vol. 617) (Lecture Notes in Mathematics, 617)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Selection Theorems and Their Applications (Lecture Notes in Mathematics, 263)
Model Theory and Topoi (Lecture Notes in Mathematics, 445)
