SEMANTICS AND LOGICS OF COMPUTATION
By: Andrew M. Pitts,Peter No Dybjer.
Contributor(s): Dybjer,Peter.
Material type:
BookPublisher: Cambridge Univ. Press, Cambridge 1997Description: xii,361.ISBN: 0521580579.Subject(s): Electronic Data Processing | Programming Languages (Electronic Computer Semantics) | Logic, Symbolic And MathematicalDDC classification: 004.015113 | SE52P
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 004.015113 SE52P (Browse shelf) | Book Request | Available | A126112 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 004.0151 M789zE Number systems | 004.0151 N917 Numerical and symbolic scientific computing | 004.0151 Sch53r Relational mathematics | 004.015113 SE52P SEMANTICS AND LOGICS OF COMPUTATION | 004.01512 ST32N NETWORK ALGEBRA | 004.01513 F679A ADVANCED COMPUTER ARITHMETIC DESIGN | 004.01513 H191 Handbook of floating-point arithmetic |
There are no comments for this item.