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/calcul_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat"@en ;
    .

<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> # logique symbolique
    a schema:Intangible ;
    schema:name "logique symbolique"@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://experiment.worldcat.org/entity/work/data/252647840#Topic/programme_hilbert> # programme Hilbert
    a schema:Intangible ;
    schema:name "programme Hilbert"@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 "2016-07-05" ;
    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.