> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Propositional logic : deduction and algorithms Beteiligte: Kleine Büning, Hans [VerfasserIn]; Lettmann, Theodor [VerfasserIn] Erschienen: Cambridge [u.a.]: Cambridge Univ. Press, 1999 Erschienen in: Cambridge tracts in theoretical computer science ; 48 Umfang: X, 409 S.; graph. Darst; 24 cm Sprache: Englisch ISBN: 0521630177 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Aussagenlogik Entstehung: Anmerkungen: Translated from the German. - Includes bibliographical references and index Weitere Bestandsnachweise 0 : Cambridge tracts in theoretical computer science