LOGICAL FRAMEWORKS
Contributor(s): Huet, Gerard [ed.] | Plotkin, G. [ed.].
Material type: BookPublisher: Cambridge Cambridge Univ. Pr. c1991Description: xii, 403p.ISBN: 0521413001.Subject(s): Logic, Symbolic And MathematicalDDC classification: 511.3 | L829Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 511.3 L829 (Browse shelf) | Book Request | Available | A114190 |
Total holds: 0
Papers Presented At The First Annual Workshop, Held At Sophia-Antipolis, 1990
There are no comments for this item.