Applied Proof Theory: Proof Interpretations and their use in Mathematics /
Material type: TextLanguage: English Series: Springer Monographs in Mathematics | Springer Monographs in MathematicsPublication details: Berlin: Springer, 2008Edition: 1Description: 534ISBN: 978-3-540-77532-4Contained works: Kohlenbach,, UlrichSubject(s): Mathematics- Proof theoryDDC classification: 511.36Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
BK | Kannur University Central Library | 511.36 KOH/ (Browse shelf (Opens below)) | Available | 30666 |
There are no comments on this title.