Media type: Book Title: Handbook of logic in computer science / ed. by S. Abramsky 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay Contributor: Gabbay, Dov M. [Other] imprint: Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1 Extent: XII, 827 S.; graph. Darst Language: English ISBN: 0198537352 RVK notation: ST 120 : Grundlagen der Informatik ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Keywords: Mathematische Logik > Informatik > Struktur Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 94 8 21725 002 Item ID: 10115317 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.