Propositional logic :
Kleine Buning, H.
Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman. - Cambridge, U.K. : Cambridge University Press, 1999. - x, 409 p. : ill. ; 24 cm. - Cambridge tracts in theoretical computer science; 48 . - Cambridge tracts in theoretical computer science; 48 .
Translated from the German. First published in German by B.G. Teubner in 1994
0521630177
Computer algorithms.
Computer logic.
004.015113 / KLE
Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman. - Cambridge, U.K. : Cambridge University Press, 1999. - x, 409 p. : ill. ; 24 cm. - Cambridge tracts in theoretical computer science; 48 . - Cambridge tracts in theoretical computer science; 48 .
Translated from the German. First published in German by B.G. Teubner in 1994
0521630177
Computer algorithms.
Computer logic.
004.015113 / KLE