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

Von:

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Principles of computer science seriesVerlag: New York [u.a.] : Computer Science Pr., 1989Beschreibung: XV, 265 S : graph. DarstISBN:

Schlagwörter:

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

Call number: Grundsignatur: 91 A 1885PPN: PPN: 275701166

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Fälligkeitsdatum	Barcode	Vormerkungen
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	91 A 1885	Verfügbar		46228948090

Anzahl Vormerkungen: 0