The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Infinitary Combinatorics and the Axiom of Determinateness (Lecture Notes in Mathematics, 612)
Model Theory and Topoi (Lecture Notes in Mathematics, 445)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971 (Lecture Notes in Mathematics, 337)
Topological Model Theory (Lecture Notes in Mathematics, 769)
Conference in Mathematical Logic - London '70 (Lecture Notes in Mathematics, 255)
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)