You are here

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Ulrich Kohlenbach
Publisher: 
Springer
Publication Date: 
2008
Number of Pages: 
532
Format: 
Hardcover
Series: 
Springer Monographs in Mathematics
Price: 
99.00
ISBN: 
9783540775324
Category: 
Monograph
We do not plan to review this book.