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
Summary:

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The author has, moreover,  Read more...

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 Seiten.
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://viaf.org/viaf/25156760> ; # 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#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_math> # Beweis--(Math.)
    a schema:Intangible ;
    schema:name "Beweis--(Math.)" ;
    .

<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://viaf.org/viaf/25156760> # Wolfram Pohlers
    a schema:Person ;
    schema:familyName "Pohlers" ;
    schema:givenName "Wolfram" ;
    schema:name "Wolfram Pohlers" ;
    .

<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.