Logic for applications / Anil Nerode and Richard A. Shore
Material type: TextSeries: Graduate texts in computer science. 99-1232373-4 Publication details: New York Springer 1997Edition: 2. edDescription: 456 sISBN:- 0387948937
- 005.1015113 23/swe
- Pubb
- Dca
- Pubb
- 005.1
- Dca
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Book (loan) | Campus Karlskrona | 005.1 | Available | 40000009429 |
Total holds: 0
Includes bibliographical references and index
S. 409-438: Bibl