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

New
Hardcover
2008
$160.56

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

Synopsis

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

$160.56

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 556
Edition: 2008
Publisher: Springer
Published: 26 May 2008
ISBN 10: 3540775323
ISBN 13: 9783540775324

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

New

$160.56

Synopsis

$160.56

More Information