"Logik." . . "preuve programme." . . "Lógica simbólica y matemática Congresos." . . "Datenverarbeitung." . . "Matemàtica Filosofia." . . "Matemàtica Filosofia" . "Informatica - Congressi - 1988." . . "isomorphisme." . . "Számítási bonyolultság tanulmányok." . . "Programació (Matemàtica)" . . "Centro Internazionale Matematico Estivo. Session" . . "logique constructive." . . "Congressi - Montecatini Terme - 1988." . . . "langage fonctionnel." . . "Programozás matematikai tanulmányok." . . "Centro internazionale matematico estivo." . . . "Centro internazionale matematico estivo (1988 : Montecatini, Itàlia)" . . . "Complexité de calcul (Informatique) Congrès." . . . . . . "Logic and Computer Science Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988"@en . . . "Electronic books"@en . "Electronic books" . "Logic and Computer Science Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988" . . . . . . . . . . . "Kongress" . . "Aufsatzsammlung" . . . "Logic and computer science : lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini, Italy, June 20-28 1988" . "Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988" . "Logic and computer science lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini, Italy, June 20-28 1988" . . . "Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988" . . "Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988" . . . . . . . . . . . "Logic and computer science lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988" . . . . . . "Logic and computer science lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988"@en . . . . "Kongreß" . . . . . . "Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held at Montecatini Terme, Italy, June 20-28, 1988" . . . . . . "Logic and computer science lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988" . . . . . . . . . . . . . . . . . "Logic and computer science : Lectures given at the 1st session of the centro internazionale matematico estivo (C. I. M. E. ) held at Montecatini Terme, Italy, June 20-28, 1988" . "Logic and computer science : lectures given at the 1. session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988" . . . . "Conference proceedings"@en . . . "Llibres electrònics" . . . . . . . . . . . "Logic and computer science : Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988" . . . . . "Congressi" . . . . . . . . . "The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types." . "The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types."@en . . . "Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988" . . . "Conference papers and proceedings" . . "Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo (C.I.M.E.), held at Montecatini Terme, Italy, June 20-28, 1988" . . . . . "Logic and computer science : lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (CIME) held at the Montecatini Terme, Italy, June 20-28, 1988" . "Mathematische Logik." . . "théorie complexité" . . "Computational complexity." . . "C.I.M.E. Session on Logic and Computer Science (1 : 1988 : Montecatini Terme)" . . . "Logische Programmierung." . . "Informàtica Matemàtica." . . "Informàtica Matemàtica" . "Logique symbolique et mathématique Congrès." . . "Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) (1988,1 1988.06.20-28 Montecatini Terme, Italy)" . . . "Programming (Mathematics)" . . . . "Centro Internazionale Matematico Estivo (Montecatini Terme)" . . "logique intuitionniste." . . "Mathematical Logic and Formal Languages." . . "CIME. Session 1988 (1 : 1988 : Montecatini)" . . . "Funktionale Programmiersprache." . . "Computer science." . . "Komplexitätstheorie." . . "Mathematics." . . "Konstruktive Logik." . . "polymorphisme." . . "Mathematical Logic and Foundations." . . "Lògica matemàtica" . . "Lògica matemàtica." . "Logica matematica - Congressi - 1988." . . "Logika szimbolikus tanulmányok." . . "Centro Internazionale Matematico Estivo. (1 : 1988 : Montecatini Terme)" . . . "Programmation (Mathématiques) Congrès." . . "Programmation (mathématiques) Congrès." . "C.I.M.E. Meeting on Logic and Computer Science (1988.06.20-28 Montecatini Terme, Italy)" . . . "Complexitat computacional." . . "PROLOG." . . "SpringerLink (Service en ligne)" . . "Logic, Symbolic and mathematical." . . "langage logique." . . "Programmverifikation." . . "Kongress." . . "Informatik." . .