Proof theory and intuitionistic systems
Material type: TextLanguage: English Series: Lecture notes in Mathematics; 212Publication details: Springer-Verlag 1971 Edition: Description: vii, 290pISBN: 9783540055419 (PB)Subject(s): POOF THEORY | INTUITIONISTIC MATHEMATICSDDC classification: 511.36 SCA(PRO)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.36 SCA(PRO) (Browse shelf(Opens below)) | 1 | Available | 9346 |
Total holds: 0
918/2009-10 / 22-09-2009
There are no comments on this title.