Visit our Christmas Gift Finder
Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Springer Monographs in Mathematics (Hardback)
  • Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Springer Monographs in Mathematics (Hardback)
zoom

Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Springer Monographs in Mathematics (Hardback)

(author)
£89.99
Hardback 536 Pages / Published: 26/05/2008
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540775324
Number of pages: 536
Weight: 2100 g
Dimensions: 235 x 155 x 30 mm
Edition: 2008 ed.


MEDIA REVIEWS

From the reviews:

"This book covers ... from proof theory to a rich set of applications in areas quite distinct from mathematical logic: approximation theory and fixed point theory of nonexpansive mappings. ... Almost every chapter has a detailed ... informative final section with exercises, historical comments and references to related work. ... In summary, this book is a very welcome addition to the proof theory literature." (H. Schwichtenberg, Mathematical Reviews, Issue 2009 k)

You may also be interested in...

Numbers, Sequences and Series
Added to basket
Naive Set Theory
Added to basket
£8.95
Paperback
Logic For Dummies
Added to basket
£13.99
Paperback
Godel's Proof
Added to basket
£10.99
Paperback
How to Prove It
Added to basket
Proof Theory
Added to basket
£17.99
Paperback
Introducing Infinity
Added to basket
Alan M. Turing
Added to basket
£9.99
Paperback
The Foundations of Mathematics
Added to basket
Active Arithmetic!
Added to basket

Please sign in to write a review

Your review has been submitted successfully.