Proof theory and intuitionistic systems (e-book)
Material type: TextLanguage: English Series: Lecture Notes in Mathematics (LNM) ; v.212Publication details: Berlin Springer 1971ISBN: 978-3-540-36875-5Online resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
E-Books | Central Library, IITB Online | Link to resource | Online | EBK7003 |
Total holds: 0
There are no comments on this title.