Media type: Book Title: Logic for computer scientists Work titles: Logik für Informatiker <engl.> Schöning, Uwe: Logik für Informatiker <engl.> Schöning, Uwe: Logik für Informatiker <engl.> Contributor: Schöning, Uwe [Author]; Published: Boston; [Stuttgart] [u.a.]: Birkhäuser, 1989 Published in: Progress in computer science and applied logic ; 8 Extent: 166 S.; graph. Darst Language: English; German ISBN: 9780817647629; 0817634533; 3764334533 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 120 : Grundlagen der Informatik ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Keywords: Logik > Programmierung Origination: Footnote: Translation of: Logik für Informatiker Hier auch später erschienene, unveränderte Nachdrucke
Departmental Library DrePunct – stack Shelf-mark: 93 8 29384 001 Item ID: 10061033 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order