skip to content
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 Preview this item
ClosePreview this item
Checking...

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

Author: K Schütte; G H Müller; Justus Diller; SpringerLink (Service en ligne)
Publisher: Berlin ; New York : Springer-Verlag, 1975.
Series: Lecture notes in mathematics (En ligne), 500.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Bibliographie
Congrès
Named Person: Kurt Schütte
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: K Schütte; G H Müller; Justus Diller; SpringerLink (Service en ligne)
OCLC Number: 610007649
Notes: In SpringerLink.
Texte anglais ou allemand.
Titre de l'écran-titre (visionné le 12 mars 2010).
Description: viii, 383 p. : fichiers PDF.
Series Title: Lecture notes in mathematics (En ligne), 500.
Responsibility: edited by J. Diller and G.H. Müller.

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/610007649> # ISILC Proof Theory Symposion dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "610007649" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/291500901#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://dewey.info/class/510.8/> ;
   schema:about <http://viaf.org/viaf/39893518> ; # Kurt Schütte
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Topic/theorie_de_la_preuve> ; # Théorie de la preuve
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/291500901#Meeting/international_summer_institute_and_logic_colloquium_1974_universitat_kiel> ; # International Summer Institute and Logic Colloquium (1974 : Universität Kiel)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/291500901#Organization/springerlink_service_en_ligne> ; # SpringerLink (Service en ligne)
   schema:contributor <http://viaf.org/viaf/43402265> ; # Gert Heinz Müller
   schema:contributor <http://viaf.org/viaf/39893518> ; # Kurt Schütte
   schema:contributor <http://viaf.org/viaf/64503575> ; # Justus Diller
   schema:creator <http://experiment.worldcat.org/entity/work/data/291500901#Meeting/isilc_proof_theory_symposium_1974_universitat_kiel> ; # ISILC Proof Theory Symposium (1974 : Universität Kiel)
   schema:datePublished "1975" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/291500901> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/291500901#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/291500901#Series/lecture_notes_in_mathematics_en_ligne> ; # Lecture notes in mathematics (En ligne) ;
   schema:name "ISILC Proof Theory Symposion dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974" ;
   schema:numberOfPages "383" ;
   schema:productID "610007649" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/610007649#PublicationEvent/berlin_new_york_springer_verlag_1975> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/291500901#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=1617-9692&volume=500> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/610007649> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/291500901#Meeting/international_summer_institute_and_logic_colloquium_1974_universitat_kiel> # International Summer Institute and Logic Colloquium (1974 : Universität Kiel)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/291500901#Place/universitat_kiel> ; # Universität Kiel)
   schema:name "International Summer Institute and Logic Colloquium (1974 : Universität Kiel)" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Meeting/isilc_proof_theory_symposium_1974_universitat_kiel> # ISILC Proof Theory Symposium (1974 : Universität Kiel)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/291500901#Place/universitat_kiel> ; # Universität Kiel)
   schema:name "ISILC Proof Theory Symposium (1974 : Universität Kiel)" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Organization/springerlink_service_en_ligne> # SpringerLink (Service en ligne)
    a schema:Organization ;
   schema:name "SpringerLink (Service en ligne)" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Place/universitat_kiel> # Universität Kiel)
    a schema:Place ;
   schema:name "Universität Kiel)" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/610007649> ; # ISILC Proof Theory Symposion dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
   schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Series/lecture_notes_in_mathematics_en_ligne> # Lecture notes in mathematics (En ligne) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/610007649> ; # ISILC Proof Theory Symposion dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
   schema:name "Lecture notes in mathematics (En ligne) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Topic/theorie_de_la_preuve> # Théorie de la preuve
    a schema:Intangible ;
   schema:name "Théorie de la preuve"@fr ;
    .

<http://viaf.org/viaf/39893518> # Kurt Schütte
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:familyName "Schütte" ;
   schema:givenName "K." ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Schütte" ;
    .

<http://viaf.org/viaf/43402265> # Gert Heinz Müller
    a schema:Person ;
   schema:birthDate "1923" ;
   schema:familyName "Müller" ;
   schema:givenName "Gert Heinz" ;
   schema:givenName "G. H." ;
   schema:name "Gert Heinz Müller" ;
    .

<http://viaf.org/viaf/64503575> # Justus Diller
    a schema:Person ;
   schema:familyName "Diller" ;
   schema:givenName "Justus" ;
   schema:name "Justus Diller" ;
    .

<http://www.worldcat.org/title/-/oclc/610007649>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/610007649> ; # ISILC Proof Theory Symposion dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
   schema:dateModified "2018-03-11" ;
   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.