logic-symposia-hakone-1979-1980
Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968
ISILC - Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Tagung, gehalten in Köln vom 29.3. bis 2.4.1977
Memorial Colloquium Logic and Foundations of Science Paris, Institut Henri Poincaré, 19–21 May 1964
Séminaire Bourbaki Vol. 1973/74: Exposés 436-452
Mathematical Foundations of Computer Science 1974 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974
Séminaire Bourbaki Vol. 1970/71: Exposés 382 - 399
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)
Adjungierte Funktoren und primitive Klassen