PROOFS AND TYPES
By: Girard, Jean-Yves.
Material type: BookPublisher: Cambridge University Press 1989ISBN: 0 521 37181 3.DDC classification: 511.3 | G441PItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Withdrawn | PK Kelkar Library, IIT Kanpur | General Stacks | 511.3 G441P (Browse shelf) | Item withdrawn Not for loan | A104756 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
511.3 F858g Godel's theorem | 511.3 F989 FUZZY AUTOMATA AND DECISION PROCESSES | 511.3 G431aE ALGEBRAIC LOGIC | 511.3 G441P PROOFS AND TYPES | 511.3 G542c COLLECTED WORKS | 511.3 G65l Logic as a tool | 511.3 G72P PROOF THEORY AND AUTOMATES DEDUCTION |
There are no comments for this item.