skip to content
Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic. Preview this item
ClosePreview this item
Checking...

Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.

Author: M H Löb; NATO Advanced Study Institute.; Association for Symbolic Logic.
Publisher: Berlin, New York Springer-Verlag, 1968.
Series: Lecture notes in mathematics (Springer-Verlag), 70.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Kongress
Kongreß
Leeds (1967)
Additional Physical Format: Online version:
Summer School in Logic (1967 : Leeds, England).
Proceedings of the Summer School in Logic, Leeds, 1967.
Berlin, New York [etc.] Springer-Verlag, 1968
(OCoLC)797935424
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: M H Löb; NATO Advanced Study Institute.; Association for Symbolic Logic.
OCLC Number: 525584
Description: 331 pages 28 cm.
Series Title: Lecture notes in mathematics (Springer-Verlag), 70.
Responsibility: Edited by M.H. Löb.

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/525584> # Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "525584" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/252647840#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/252647840#Topic/ultrafiltre> ; # ultrafiltre
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/mathematik> ; # Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/modele> ; # modèle
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/anthologie> ; # Anthologie
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/programme_hilbert> ; # programme Hilbert
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/logique_symbolique> ; # logique symbolique
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/demi_anneau> ; # demi-anneau
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/fonction_recursive> ; # fonction récursive
   schema:about <http://dewey.info/class/164/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/calcul_predicat> ; # calcul prédicat
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/partition> ; # partition
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/252647840#Topic/logique> ; # logique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/252647840#Organization/nato_advanced_study_institute> ; # NATO Advanced Study Institute.
   schema:creator <http://experiment.worldcat.org/entity/work/data/252647840#Meeting/summer_school_in_logic_1967_leeds_england> ; # Summer School in Logic (1967 : Leeds, England)
   schema:datePublished "1968" ;
   schema:editor <http://viaf.org/viaf/15816452> ; # M. H. Löb
   schema:exampleOfWork <http://worldcat.org/entity/work/id/252647840> ;
   schema:genre "Leeds (1967)"@en ;
   schema:genre "Kongreß"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/252647840#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/252647840#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics,
   schema:isSimilarTo <http://www.worldcat.org/oclc/797935424> ;
   schema:name "Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic."@en ;
   schema:productID "525584" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/525584#PublicationEvent/berlin_new_yorkspringer_verlag_1968> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/252647840#Agent/springer_verlag> ; # Springer-Verlag
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/525584> ;
    .


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/252647840#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/252647840#Meeting/summer_school_in_logic_1967_leeds_england> # Summer School in Logic (1967 : Leeds, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/252647840#Place/leeds_england> ; # Leeds, England)
   schema:name "Summer School in Logic (1967 : Leeds, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/252647840#Organization/nato_advanced_study_institute> # NATO Advanced Study Institute.
    a schema:Organization ;
   schema:name "NATO Advanced Study Institute." ;
    .

<http://experiment.worldcat.org/entity/work/data/252647840#Place/leeds_england> # Leeds, England)
    a schema:Place ;
   schema:name "Leeds, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/252647840#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/525584> ; # Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
   schema:name "Lecture notes in mathematics," ;
    .

<http://experiment.worldcat.org/entity/work/data/252647840#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/525584> ; # Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
   schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/252647840#Topic/fonction_recursive> # fonction récursive
    a schema:Intangible ;
   schema:name "fonction récursive"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/252647840#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

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

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/15816452> # M. H. Löb
    a schema:Person ;
   schema:familyName "Löb" ;
   schema:givenName "M. H." ;
   schema:name "M. H. Löb" ;
    .

<http://www.worldcat.org/oclc/797935424>
    a schema:CreativeWork ;
   rdfs:label "Proceedings of the Summer School in Logic, Leeds, 1967." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/525584> ; # Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
    .

<http://www.worldcat.org/title/-/oclc/525584>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/525584> ; # Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
   schema:dateModified "2017-04-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.