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

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
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own 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.
Retrieving notes about this item Retrieving notes about this item

Reviews

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

Close Window

Please sign in to WorldCat 

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