Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Hardcover
ISBN13: 9783540775324
Condition: NEW Quantity
- +
122 item(s) in stock
£125.43
imageWishlist This
  • image This purchase will help support literacy campaigns across the world
  • image BUY ONE GIVE ONE

This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.

Type Book
Number Of Pages 556
Item Height 34 mm
Item Width 164 mm
Item Weight 996 Gram
Product Dimensions 164 x 34 x 240
Publisher Springer
Format Hardcover | 556