Applied proof theory : 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 (alk. paper)
- 9783540775331 (eISBN)
- 511.3 KOH
Item type | Current library | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Book | Dept. of Futures Studies Processing Center | Dept. of Futures Studies | 511.3 KOH (Browse shelf(Opens below)) | Available | DFS3899 |
Includes bibliographical references (p. [507]-523) and index.
There are no comments on this title.
Log in to your account to post a comment.