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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!