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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------