skip to content
Proof theory : an introduction Preview this item
ClosePreview this item
Checking...

Proof theory : an introduction

Author: Wolfram Pohlers
Publisher: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer, 1989.
Series: Lecture notes in mathematics, 1407.
Edition/Format:   Print bookView 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: Einführung
Document Type: Book
All Authors / Contributors: Wolfram Pohlers
ISBN: 0387518428 9780387518428 3540518428 9783540518426
OCLC Number: 246273053
Notes: Literaturverz. S. 190 - 207.
Description: VI, 213 S.
Contents: Ordinal Analysis of Pure Number Theory.- The autonomous ordinal of the infinitary system Z? and the limits of predicativity.- Ordinal analysis of the formal theory for noniterated inductive definitions.
Series Title: Lecture notes in mathematics, 1407.
Responsibility: Wolfram Pohlers.

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/246273053> # Proof theory : an introduction
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "246273053" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/889690650#Place/berlin> ; # Berlin
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/889690650#Place/paris> ; # Paris
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/889690650#Place/heidelberg> ; # Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/889690650#Place/hong_kong> ; # Hong Kong
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/889690650#Place/tokyo> ; # Tokyo
   schema:about <http://experiment.worldcat.org/entity/work/data/889690650#Topic/beweis_mathematik> ; # Beweis (Mathematik)
   schema:about <http://experiment.worldcat.org/entity/work/data/889690650#Topic/einfuhrung> ; # Einführung
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/889690650#Topic/beweis_math> ; # Beweis--(Math.)
   schema:about <http://experiment.worldcat.org/entity/work/data/889690650#Topic/beweistheorie> ; # Beweistheorie
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/889690650#Person/pohlers_wolfram> ; # Wolfram Pohlers
   schema:datePublished "1989" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/889690650> ;
   schema:genre "Einführung" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/889690650#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
   schema:name "Proof theory : an introduction" ;
   schema:productID "246273053" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/246273053#PublicationEvent/berlin_heidelberg_new_york_london_paris_tokyo_hong_kong_springer_1989> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/889690650#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9780387518428> ;
   schema:workExample <http://worldcat.org/isbn/9783540518426> ;
   umbel:isLike <http://d-nb.info/900247517> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/246273053> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/889690650#Person/pohlers_wolfram> # Wolfram Pohlers
    a schema:Person ;
   schema:familyName "Pohlers" ;
   schema:givenName "Wolfram" ;
   schema:name "Wolfram Pohlers" ;
    .

<http://experiment.worldcat.org/entity/work/data/889690650#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/246273053> ; # Proof theory : an introduction
   schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/889690650#Topic/beweis_mathematik> # Beweis (Mathematik)
    a schema:Intangible ;
   schema:name "Beweis (Mathematik)" ;
    .

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

<http://worldcat.org/isbn/9780387518428>
    a schema:ProductModel ;
   schema:isbn "0387518428" ;
   schema:isbn "9780387518428" ;
    .

<http://worldcat.org/isbn/9783540518426>
    a schema:ProductModel ;
   schema:isbn "3540518428" ;
   schema:isbn "9783540518426" ;
    .

<http://www.worldcat.org/title/-/oclc/246273053#PublicationEvent/berlin_heidelberg_new_york_london_paris_tokyo_hong_kong_springer_1989>
    a schema:PublicationEvent ;
   schema:location <http://dbpedia.org/resource/London> ; # London
   schema:location <http://experiment.worldcat.org/entity/work/data/889690650#Place/hong_kong> ; # Hong Kong
   schema:location <http://experiment.worldcat.org/entity/work/data/889690650#Place/tokyo> ; # Tokyo
   schema:location <http://experiment.worldcat.org/entity/work/data/889690650#Place/paris> ; # Paris
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/889690650#Place/heidelberg> ; # Heidelberg
   schema:location <http://experiment.worldcat.org/entity/work/data/889690650#Place/berlin> ; # Berlin
   schema:organizer <http://experiment.worldcat.org/entity/work/data/889690650#Agent/springer> ; # Springer
   schema:startDate "1989" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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