Truth, deduction, and computation : logic and semantics for computer science / R. E. Davis
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Principles of computer science seriesPublisher: New York [u.a.] : Computer Science Pr., 1989Description: XV, 265 S : graph. DarstISBN:- 0716782014
- QA76.7
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 1885 | Available | 46228948090 |
Total holds: 0
Includes bibliographical references (p. 257-260) and index