The clausal theory of types
By: Wolfram, D. A.
Material type: BookSeries: Cambridge Tracts In Theoretical Computer Science Series. Publisher: Cambridge Cambridge University Press 1993Description: viii, 124p.ISBN: 0521395380.Subject(s): Logic, Symbolic and mathematical | Programming languages (Electronic Computers)DDC classification: 005.131 | W833cItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 005.131 W833c (Browse shelf) | Book Request | Available | A115959 |
Total holds: 0
There are no comments for this item.