Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)

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 Lec...

Descripción completa

Detalles Bibliográficos
Autor principal: Odifreddi, Piergiorgio
Lenguaje:eng
Publicado: Springer 1990
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/BFb0093921
http://cds.cern.ch/record/1696212
_version_ 1780936077684506624
author Odifreddi, Piergiorgio
author_facet Odifreddi, Piergiorgio
author_sort Odifreddi, Piergiorgio
collection CERN
description 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.
id cern-1696212
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1990
publisher Springer
record_format invenio
spelling cern-16962122021-04-22T07:04:58Zdoi:10.1007/BFb0093921http://cds.cern.ch/record/1696212engOdifreddi, PiergiorgioLectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)Mathematical Physics and MathematicsThe 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.Springeroai:cds.cern.ch:16962121990
spellingShingle Mathematical Physics and Mathematics
Odifreddi, Piergiorgio
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)
title Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)
title_full Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)
title_fullStr Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)
title_full_unstemmed Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)
title_short Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)
title_sort lectures given at the 1st session of the centro internazionale matematico estivo (c.i.m.e.)
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/BFb0093921
http://cds.cern.ch/record/1696212
work_keys_str_mv AT odifreddipiergiorgio lecturesgivenatthe1stsessionofthecentrointernazionalematematicoestivocime

Ejemplares similares