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)
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 (Lecture Notes in Mathematics, 274)
Model Theory and Topoi (Lecture Notes in Mathematics, 445)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971 (Lecture Notes in Mathematics, 337)
The Theory of Arithmetic Functions: Proceedings of the Conference at Western Michigan University, April 29 - May 1, 1971 (Lecture Notes in Mathematics, 251)
Lectures in Set Theory: With Particular Emphasis on the Method of Forcing (Lecture Notes in Mathematics, 217)
Functional Analysis and Its Applications: International Conference, Madras, 1973 (Lecture Notes in Mathematics, 399)
Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 (Lecture Notes in Mathematics, 1130)
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Book
