.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Applied Proof Theory
Ulrich Kohlenbach
€ 163.47
FREE Delivery in Ireland
Description for Applied Proof Theory
Paperback. Series: Springer Monographs in Mathematics. Num Pages: 556 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
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.
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.
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
556
Condition
New
Series
Springer Monographs in Mathematics
Number of Pages
536
Place of Publication
Berlin, Germany
ISBN
9783642096273
SKU
V9783642096273
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Ulrich Kohlenbach
Ulrich Kohlenbach has been Professor of Mathematics at the Technische Universität Darmstadt since 2004. He is a managing editor of the "Annals of Pure and Applied Logic".
Reviews for Applied Proof Theory
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 ... Read more