Skip to content

Proof Theory: An Introduction
Stock Photo: Cover May Be Different

Proof Theory: An Introduction Paperback - 2002

by Wolfram Pohlers


From the publisher

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.

Details

  • Title Proof Theory: An Introduction
  • Author Wolfram Pohlers
  • Binding Paperback
  • Pages 220
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date May 2, 2002
  • ISBN 9783540518426 / 3540518428
  • Weight 0.72 lbs (0.33 kg)
  • Dimensions 9.21 x 6.14 x 0.48 in (23.39 x 15.60 x 1.22 cm)
  • Dewey Decimal Code 511.36
Back to Top

More Copies for Sale

Proof Theory: An Introduction (Lecture Notes in Computer Science)
Stock Photo: Cover May Be Different

Proof Theory: An Introduction (Lecture Notes in Computer Science)

by Wolfram Pohlers/ Pohlers

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9783540518426
ISBN 10
3540518428
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$127.35
$12.64 shipping to USA

Show Details

Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996. Paperback. New. 220 pages. 9.13x6.22x0.63 inches.
Item Price
$127.35
$12.64 shipping to USA