On the shape of mathematical arguments
Language: English Series: Lecture notes in computer science ; v.445Publication details: Berlin ; Springer-Verlag ; 1990Edition: Description: vii,180 p; 24 cmISBN: 0-540-52849-04Subject(s): | Computer science-Mathematics | Logic, Symbolic and mathematical | Proof theory-Data processingItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.3:517.1 Van | Available | G54A12 | 158131 |
Total holds: 0
There are no comments on this title.