Logic for applications / Anil Nerode and Richard A. Shore
Material type:
TextSeries: Graduate texts in computer science99-1232373-4Publication details: New York Springer 1997Edition: 2. edDescription: 456 sISBN: 0387948937Subject(s): Computer science -- Mathematics | Logic, Symbolic and mathematical | Databehandling Programmering Programspråk | Logik | Logik | Matematisk logik | Symbolisk logikDDC classification: 005.1015113 Other classification: Pubb | Dca | Pubb | 005.1 | Dca
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book (loan) | Gräsvik | 005.1 (Browse shelf (Opens below)) | Available | 40000009429 |
Includes bibliographical references and index
S. 409-438: Bibl
There are no comments on this title.