Applied proof theory [electronic resource] : proof interpretations and their use in mathematics / U. Kohlenbach.
Material type: TextSeries: Springer monographs in mathematicsPublication details: Berlin : Springer, c2008.Description: xix, 532 pISBN:- 9783540775324
- 9783540775331 (electronic bk.)
- 3540775331 (electronic bk.)
- QA9.54 .K64 2008eb
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Books | CUTN Central Library Sciences | 511.36 (Browse shelf(Opens below)) | 1 | Available | 10705 |
Includes bibliographical references and index.
Online version restricted to NUS staff and students only through NUSNET.
Mode of access: World Wide Web.
System requirements: Internet connectivity; World Wide Web browser.
There are no comments on this title.