On the shape of mathematical arguments

By: Van Gasteren, A.J.MContributor(s): 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 processing
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books 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.

to post a comment.
Share

Powered by Koha