THEORY OF DEDUCTIVE SYSTEMS AND ITS APPLICATIONS
By: Maslov, Sergei Iur'Evich.
Contributor(s): Lifschitx, Vladimir.
Material type: BookSeries: Mit Press Series In The Foundations Of Computing. Publisher: Cambridge Mit Pr. 1987Description: x,151.Subject(s): Logic, Symbolic And Mathematical | Algorithms | Machine TheoryDDC classification: 511.3 | M379tItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 511.3 M379t (Browse shelf) | Book Request | Available | A100088 |
Total holds: 0
There are no comments for this item.