Proof theory and intuitionistic systems Bruno Scarpellini
Material type: TextSeries: Lecture notes in mathematics; 212Publication details: Berlin Springer-Verlag 1971Description: vii, 290pISBN:- 354005541X
- 511.2 S286P
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
General Books | Govind Ballabh Pant University of Agriculture and Technology | 511.2 S286P (Browse shelf(Opens below)) | Available | 151826 |
There are no comments on this title.