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
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
General Books
|
CUTN Central Library Sciences | 511.36 (Browse shelf(Opens below)) | 1 | Available | 10705 |
Browsing CUTN Central Library shelves,Shelving location: Sciences Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.33 FAR Groups and symmetry : A guide to discovering mathematics / | 511.352 GOL Computational complexity : | 511.36 The proof is in the pudding : | 511.36 Applied proof theory | 511.36 Proof theory | 511.36 DEB Beginner's guide to mathematical proof / | 511.36 FUC Introduction to proofs and proof strategies / |
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.