Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Mathematics

Proof Theory

An Introduction

Authors: Pohlers, Wolfram

Free Preview

Buy this book

eBook $64.99
price for USA in USD
  • ISBN 978-3-540-46825-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-540-51842-6
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

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 heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.

Table of contents (4 chapters)

Table of contents (4 chapters)

Buy this book

eBook $64.99
price for USA in USD
  • ISBN 978-3-540-46825-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-540-51842-6
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Proof Theory
Book Subtitle
An Introduction
Authors
Series Title
Lecture Notes in Mathematics
Series Volume
1407
Copyright
1989
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46825-7
DOI
10.1007/978-3-540-46825-7
Softcover ISBN
978-3-540-51842-6
Series ISSN
0075-8434
Edition Number
1
Number of Pages
VIII, 220
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.