Proof theory : the first step into impredicativity / Wolfram Pohlers.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9783540693185 (pbk.)
- 3540693181 (pbk.)
- 511.36 POH
Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
H.T. Parekh Library | SIAS Collection | 511.36 POH (Browse shelf(Opens below)) | Available | K1071 |
TBH/SINV00482/15
Euro 59.99
Includes bibliographical references (p. 357-361) and index.
There are no comments on this title.
Log in to your account to post a comment.