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

New
Hardcover
2008
$157.53

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.

$157.53

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

$157.53

Synopsis

$157.53

More Information