TY  - BOOK
AU  - Kleine Buning,H.
AU  - Lettmann,T.
TI  - Propositional logic: deduction and algorithms 
T2  - Cambridge tracts in theoretical computer science
SN  - 0521630177
U1  - 004.015113 
PY  - 1999///
CY  - Cambridge, U.K.
PB  - Cambridge University Press
KW  - Computer algorithms
KW  - Computer logic
N1  - Translated from the German.  First published in German by B.G. Teubner in 1994
ER  -