Custom cover image
Custom cover image

Truth, deduction, and computation : logic and semantics for computer science / R. E. Davis

By: 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
Subject(s): MSC: MSC: *68Q55 | 68-01 | 03B70 | 93B20 | 68Q45 | 68N17RVK: RVK: SK 130 | ST 140LOC classification:
  • QA76.7
Call number: Grundsignatur: 91 A 1885PPN: PPN: 275701166
Holdings
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

Powered by Koha