Media type: Book Title: Handbook of practical logic and automated reasoning Contributor: Harrison, John [Author] Published: Cambridge: Cambridge Univ. Press, [2009] Extent: XIX, 681 Seiten; Diagramme; 26 cm Language: English ISBN: 0521899575; 9780521899574 RVK notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mathematische Logik > Logischer Schluss > Informatik Mathematische Logik > Logischer Schluss > Informatik Origination: Footnote: Literaturverzeichnis: Seite 631 - 667 Hier auch später erschienene, unveränderte Nachdrucke