HYPERPROOF FOR THE MACINTOSH
By: Barwise,Jon.
Contributor(s): Etchemendy,John.
Material type:
BookSeries: Csli Lecture Notes No.42. Publisher: Center For The Study Of Language And Information 1994Description: xvii,255.ISBN: 1881526119.Subject(s): Computer Science | Logic,Symbolic And Mathematical | Macintosh (Computer)DDC classification: 160.2855369 | B289H
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 160.2855369 B289H (Browse shelf) | Book Request | Available | A122337 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 160 W932p Practical reason [v.1] | 160.244 AL94L LOGIC IN LINGUISTICS | 160.26 AL16 NORMATIVE SYSTEMS | 160.2855369 B289H HYPERPROOF FOR THE MACINTOSH | 160.4 R813L ROYCE`S LOGICAL ESSAYS | 160.76 T277E EXERCISES IN LOGIC | 160.8 C791c Contemporary readings in logical theory |
Includes Index
Alongwith Diskette
There are no comments for this item.