Logics of Programs Brooklyn, June 17-19, 1985
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)
Memorial Colloquium Logic and Foundations of Science Paris, Institut Henri Poincaré, 19–21 May 1964
ISILC - Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Logic Counts
Mathematical Logic and Applications Proceedings of the Logic Meeting held in Kyoto, 1987
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)