Logic Colloquium Symposium on Logic held at Boston, 1972-73
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
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)
Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968
Enumerability, Decidability, Computability
Juristische Logik (German Edition)
Topological Model Theory (Lecture Notes in Mathematics, 769)
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
