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

Book

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

Book

logic-symposia-hakone-1979-1980

Book

Model Theory and Applications Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975

Book

Tagung, gehalten in Köln vom 29.3. bis 2.4.1977

Book

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)

Book

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Book

Category Theory: Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981 ... 962) (English and French Edition)