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, 1999 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1,repr. Issue: Repr. Extent: XII, 827 S.; graph. Darst Language: English ISBN: 0198537352 RVK notation: ST 120 : Grundlagen der Informatik Keywords: Mathematische Logik > Informatik > Struktur Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 120 A161-1 Item ID: 30443597 Status: Loanable