TY  - BOOK
AU  - Buning, Hans Kleine.
AU  - Lettman, Theodor.
TI  - Propositional Logic : Deduction and Algorithms
SN  - 0 521 63017 7
CY  - Cambridge
KW  - Logic
KW  - Algorithms
ER  -