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

Our price: £33.14
List price: £38.99
You save: 15%

Usually ships in 2-4 working days.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

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.

Related links:

Ulrich Kohlenbach
Mathematical logic
Mathematical foundations
Mathematics
Mathematics and science
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg

More information from Wikipedia:

Ulrich Kohlenbach
© 2006-2010 Eruditor Ltd and its partners

Search

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |