511.36 / K824a
Kohlenbach, U.
Applied proof theory : proof interpretations and their use in mathematics
/ U. Kohlenbach
.- Berlin: Springer, 2008
.- xix,532p .
.- ( Springer Monographs In Mathematics
ISBN: 9783540775324
Subject Headings:
Proof theory;
Copy Details:
Acc. No.: A163179, Full Call No.: 511.36 K824a, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------