Logic For Applications
By: Nerode, Anil.
Contributor(s): Shore, Richard A.
Material type:
BookPublisher: New York: Springer-Verlag, 1997Edition: 2nd ed.Description: 102 p.; ill.ISBN: 0387948937 .Subject(s): Logic | Set TheoryDDC classification: 005.1015113
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.1015113 NER (Browse shelf) | Available | 010168 |
Browsing DAIICT Shelves Close shelf browser
| 005.1015113 HSU Computer Logic : design principles and applications | 005.1015113 HUT Logic in Computer Science : modeling and reasoning about systems | 005.1015113 LEA Friendly Introduction to Mathematical Logic | 005.1015113 NER Logic For Applications | 005.1015113 PAG Essential logic for computer science | 005.1015113 ROC Logic of Analog and Digital Machines | 005.1015115 JEN Coloured Petri Nets : modelling and validation of concurrent systems |
There are no comments for this item.