Kohlenbach Ulrich:
Applied Proof Theory
Proof Interpretations And Their Use In Mathematics
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2008
Hardback, 556 pages
Size: 235x155 mm
ISBN: 9783540775324
ISBN-10: 3540775323
List price: £38.99
You save: 15%
Applied Proof Theory
Describes proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. This book covers both the necessary logical machinery behind the proof interpretations that are used in various applications.

