Topological Model Theory (Lecture Notes in Mathematics, 769)
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 (Lecture Notes in Mathematics, 274)
Singular Coverings of Toposes (Lecture Notes in Mathematics, 1890)
Model Theoretic Algebra: Selected Topics (Lecture Notes in Mathematics, 521)
Topics in Functional Analysis (Lecture Notes in Mathematics, 45)
Models of ZF-Set Theory
Model Theory and Arithmetic: Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, ... 890) (English and French Edition)
Lectures in Set Theory: With Particular Emphasis on the Method of Forcing (Lecture Notes in Mathematics, 217)
Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics, 492)