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; Justus Diller; G H Müller
Publisher: Berlin ; New York : Springer-Verlag, 1975.
Series: Lecture notes in mathematics (Springer-Verlag), 500.
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 online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Kongreß
Bibliography
Conference papers and proceedings
Kiel (1974)
Congresses
Additional Physical Format: Online version:
ISILC Proof Theory Symposion (1974 : University of Kiel).
ISILC Proof Theory Symposion.
Berlin ; New York : Springer-Verlag, 1975
(OCoLC)654533125
Named Person: K Schütte; Kurt Schütte; Kurt Schütte; K Schütte; Kurt Schütte; Kurt Schütte
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: K Schütte; Justus Diller; G H Müller
ISBN: 038707533X 9780387075334 354007533X 9783540075332
OCLC Number: 1959564
Notes: Text in English or German.
Description: viii, 383 pages ; 25 cm.
Contents: Includes list of the publications of K. Schütte.
Series Title: Lecture notes in mathematics (Springer-Verlag), 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/1959564> # 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:Book, schema:CreativeWork ;
   library:oclcnum "1959564" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/291500901#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Topic/preuve_theorie_de_la_congres> ; # Preuve, Théorie de la--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Person/schutte_kurt_1909> ; # Kurt Schütte
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Topic/bibliographie> ; # Bibliographie
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Topic/logik> ; # Logik
   schema:about <http://dewey.info/class/510.8/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Person/schutte_kurt> ; # Kurt Schütte
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Person/schutte_k_kurt> ; # Kurt Schütte
   schema:about <http://viaf.org/viaf/39893518> ; # Kurt Schütte
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/291500901#Topic/kongress> ; # Kongreß
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/291500901#Person/schutte_k_kurt> ; # Kurt Schütte
   schema:contributor <http://experiment.worldcat.org/entity/work/data/291500901#Meeting/international_summer_institute_and_logic_colloquium_university_of_kiel_1974> ; # International Summer Institute and Logic Colloquium, University of Kiel, 1974.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/291500901#Person/diller_justus> ; # Justus Diller
   schema:contributor <http://experiment.worldcat.org/entity/work/data/291500901#Person/muller_g_h_gert_heinz_1923> ; # Gert Heinz Müller
   schema:creator <http://experiment.worldcat.org/entity/work/data/291500901#Meeting/isilc_proof_theory_symposion_university_of_kiel_1974> ; # ISILC Proof Theory Symposion, University of Kiel, 1974.
   schema:datePublished "1975" ;
   schema:description "Includes list of the publications of K. Schütte."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/291500901> ;
   schema:genre "Kiel (1974)"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Bibliography"@en ;
   schema:genre "Kongreß"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/291500901#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/291500901#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/654533125> ;
   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"@en ;
   schema:productID "1959564" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/1959564#PublicationEvent/berlin_new_york_springer_verlag_1975> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/291500901#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387075334> ;
   schema:workExample <http://worldcat.org/isbn/9783540075332> ;
   umbel:isLike <http://d-nb.info/760113017> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/1959564> ;
    .


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_university_of_kiel_1974> # International Summer Institute and Logic Colloquium, University of Kiel, 1974.
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/291500901#Place/university_of_kiel> ; # University of Kiel,
   schema:name "International Summer Institute and Logic Colloquium, University of Kiel, 1974." ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Meeting/isilc_proof_theory_symposion_university_of_kiel_1974> # ISILC Proof Theory Symposion, University of Kiel, 1974.
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/291500901#Place/university_of_kiel> ; # University of Kiel,
   schema:name "ISILC Proof Theory Symposion, University of Kiel, 1974." ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Person/diller_justus> # Justus Diller
    a schema:Person ;
   schema:familyName "Diller" ;
   schema:givenName "Justus" ;
   schema:name "Justus Diller" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Person/muller_g_h_gert_heinz_1923> # 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://experiment.worldcat.org/entity/work/data/291500901#Person/schutte_k_kurt> # Kurt Schütte
    a schema:Person ;
   schema:familyName "Schütte" ;
   schema:givenName "Kurt" ;
   schema:givenName "K." ;
   schema:name "Kurt Schütte" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Person/schutte_kurt> # Kurt Schütte
    a schema:Person ;
   schema:familyName "Schütte" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Schütte" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Person/schutte_kurt_1909> # Kurt Schütte
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:familyName "Schütte" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Schütte" ;
    .

<http://experiment.worldcat.org/entity/work/data/291500901#Place/university_of_kiel> # University of Kiel,
    a schema:Place ;
   schema:name "University of 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/1959564> ; # 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_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/1959564> ; # 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 (Springer-Verlag) ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/291500901#Topic/preuve_theorie_de_la_congres> # Preuve, Théorie de la--Congrès
    a schema:Intangible ;
   schema:name "Preuve, Théorie de la--Congrès"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/39893518> # Kurt Schütte
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:familyName "Schütte" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Schütte" ;
   schema:sameAs <http://d-nb.info/gnd/118611127> ;
    .

<http://worldcat.org/isbn/9780387075334>
    a schema:ProductModel ;
   schema:isbn "038707533X" ;
   schema:isbn "9780387075334" ;
    .

<http://worldcat.org/isbn/9783540075332>
    a schema:ProductModel ;
   schema:isbn "354007533X" ;
   schema:isbn "9783540075332" ;
    .

<http://www.worldcat.org/oclc/654533125>
    a schema:CreativeWork ;
   rdfs:label "ISILC Proof Theory Symposion." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/1959564> ; # 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
    .

<http://www.worldcat.org/title/-/oclc/1959564>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/1959564> ; # 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 "2016-05-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.