Applied proof theory proof interpretations and their use in mathematics
Publication details: Heidelberg Springer 2008 Description: xix, 532pISBN:- 9783540775324
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library General Stacks | 510.6 KOH (Browse shelf(Opens below)) | Available | 00066662 |
There are no comments on this title.