Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Sale price
$125.99
Regular price $139.99
Skip to product information
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Sale price
$125.99
Regular price $139.99
Reliable shipping
Flexible returns
Springer Monographs in Mathematics
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Ulrich Kohlenbach
Mathematics / Logic
Ulrich Kohlenbach has been Professor of Mathematics at the Technische Universität Darmstadt since 2004. He is a managing editor of the "Annals of Pure and Applied Logic".
| Publication Date: | 21 October 2010 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783642096273 |
| Format: | Paperback / softback |
| Page Count: | 536 |