Aspects of Constructibility (Lecture Notes in Mathematics, 354)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Topological Model Theory (Lecture Notes in Mathematics, 769)
Model Theory and Topoi (Lecture Notes in Mathematics, 445)
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
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)
Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
Model Theory : An Introduction
