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

Book

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... 500) (English and German Edition)

Book

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)

Book

Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974

Book

Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)

Book

Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20-23, 1975 (Lecture Notes in Computer Science, 33) (English, German and French Edition)

Book

Model Theory and Arithmetic: Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, ... 890) (English and French Edition)

Book

Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers

Book

Mathematical Logic and Applications Proceedings of the Logic Meeting held in Kyoto, 1987

Book

Grundzüge der Theoretischen Logik (Grundlehren der mathematischen Wissenschaften) (German Edition)

Book

Logic Colloquium Symposium on Logic held at Boston, 1972-73