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 | L829
| Item 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
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 511.3 L562d DEGREES OF UNSOLVABILITY | 511.3 L565S S.LESNIEWSKIS, LECTURE NOTES IN LOGIC | 511.3 L586u UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS | 511.3 L829 LOGICAL FRAMEWORKS | 511.3 L829 Logic Colloquium '84 | 511.3 L829H LOGIC | 511.3 L829H LOGICAL ENVIRONMENTS |
Papers Presented At The First Annual Workshop, Held At Sophia-Antipolis, 1990
There are no comments for this item.