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:

Subject(s):

MSC: MSC: *68Q55 | 68-01 | 03B70 | 93B20 | 68Q45 | 68N17RVK: RVK: SK 130 | ST 140LOC classification:

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