for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to eBooks.com?

Learn more

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Applied Proof Theory: Proof Interpretations and their Use in Mathematics by Ulrich Kohlenbach
Add to cart
US$ 109.00
(If any tax is payable it will be calculated and shown at checkout.)
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.
Springer Berlin Heidelberg; May 2008
547 pages; ISBN 9783540775331
Read online, or download in secure PDF format
Title: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Author: Ulrich Kohlenbach
 
Buy, download and read Applied Proof Theory: Proof Interpretations and their Use in Mathematics (eBook) by Ulrich Kohlenbach today!