Memorial Colloquium Logic and Foundations of Science Paris, Institut Henri Poincaré, 19–21 May 1964

Book

Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968

Book

Actes du Conseil Général / Proceedings of the General Council

Book

logic-symposia-hakone-1979-1980

Book

ISILC - Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Book

Mathematical Foundations of Computer Science 1974 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974

Book

Xth International Astronautical Congress London 1959 / X. Internationaler Astronautischer Kongress / Xe Congrès International d’Astronautique

Book

In Memoriam