skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: S Homer; Piergiorgio Odifreddi; Centro internazionale matematico estivo.
Publisher: Berlin ; New York : Springer-Verlag, ©1990.
Series: Lecture notes in mathematics (Springer-Verlag), 1429.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
Logic and computer science.
Berlin ; New York : Springer-Verlag, ©1990
(DLC) 90039676
(OCoLC)21763577
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: S Homer; Piergiorgio Odifreddi; Centro internazionale matematico estivo.
ISBN: 9783540471356 3540471359
OCLC Number: 298654483
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (162 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.
Series Title: Lecture notes in mathematics (Springer-Verlag), 1429.
Responsibility: S. Homer [and others] ; editor, P. Odifreddi.

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/298654483> # 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
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "298654483" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/807121675#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/prolog> ; # PROLOG
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_constructive> ; # logique constructive
   schema:about <http://id.worldcat.org/fast/1078701> ; # Programming (Mathematics)
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/langage_logique> ; # langage logique
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/theorie_complexite> ; # théorie complexité
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/programmation_mathematiques> ; # Programmation (Mathématiques)
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_intuitionniste> ; # logique intuitionniste
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/programmation_mathematiques_congres> ; # Programmation (mathématiques)--Congrès
   schema:about <http://dewey.info/class/510/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/langage_fonctionnel> ; # langage fonctionnel
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/computational_complexity> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/preuve_programme> ; # preuve programme
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/polymorphisme> ; # polymorphisme
   schema:about <http://experiment.worldcat.org/entity/work/data/807121675#Topic/isomorphisme> ; # isomorphisme
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/142847353> ; # Centro internazionale matematico estivo.
   schema:contributor <http://viaf.org/viaf/27127695> ; # Piergiorgio Odifreddi
   schema:contributor <http://viaf.org/viaf/59173472> ; # Steven Homer
   schema:copyrightYear "1990" ;
   schema:datePublished "1990" ;
   schema: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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/807121675> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0075-8434> ; # Lecture notes in mathematics,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/807121675#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/21763577> ;
   schema:name "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 ;
   schema:productID "298654483" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/298654483#PublicationEvent/berlin_new_york_springer_verlag_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/807121675#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/BFb0093921> ;
   schema:url <http://dx.doi.org/10.1007/BFb0093921> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/21763577.html> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0075-8434&volume=1429> ;
   schema:workExample <http://worldcat.org/isbn/9783540471356> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/298654483> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/298654483> ; # 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
   schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/complexite_de_calcul_informatique> # Complexité de calcul (Informatique)
    a schema:Intangible ;
   schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/langage_fonctionnel> # langage fonctionnel
    a schema:Intangible ;
   schema:name "langage fonctionnel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_constructive> # logique constructive
    a schema:Intangible ;
   schema:name "logique constructive"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_intuitionniste> # logique intuitionniste
    a schema:Intangible ;
   schema:name "logique intuitionniste"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/programmation_mathematiques> # Programmation (Mathématiques)
    a schema:Intangible ;
   schema:name "Programmation (Mathématiques)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/programmation_mathematiques_congres> # Programmation (mathématiques)--Congrès
    a schema:Intangible ;
   schema:name "Programmation (mathématiques)--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/807121675#Topic/theorie_complexite> # théorie complexité
    a schema:Intangible ;
   schema:name "théorie complexité"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1078701> # Programming (Mathematics)
    a schema:Intangible ;
   schema:name "Programming (Mathematics)"@en ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity"@en ;
    .

<http://viaf.org/viaf/142847353> # Centro internazionale matematico estivo.
    a schema:Organization ;
   schema:name "Centro internazionale matematico estivo." ;
    .

<http://viaf.org/viaf/27127695> # Piergiorgio Odifreddi
    a schema:Person ;
   schema:birthDate "1950" ;
   schema:familyName "Odifreddi" ;
   schema:givenName "Piergiorgio" ;
   schema:name "Piergiorgio Odifreddi" ;
    .

<http://viaf.org/viaf/59173472> # Steven Homer
    a schema:Person ;
   schema:familyName "Homer" ;
   schema:givenName "Steven" ;
   schema:givenName "S." ;
   schema:name "Steven Homer" ;
    .

<http://worldcat.org/isbn/9783540471356>
    a schema:ProductModel ;
   schema:isbn "3540471359" ;
   schema:isbn "9783540471356" ;
    .

<http://worldcat.org/issn/0075-8434> # Lecture notes in mathematics,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/298654483> ; # 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
   schema:issn "0075-8434" ;
   schema:name "Lecture notes in mathematics," ;
    .

<http://www.worldcat.org/oclc/21763577>
    a schema:CreativeWork ;
   rdfs:label "Logic and computer science." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/298654483> ; # 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
    .

<http://www.worldcat.org/title/-/oclc/298654483>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/298654483> ; # 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
   schema:dateModified "2017-09-03" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.