Theodor Lettmann

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Propositional Logic: Deduction and Algorithms	978-O-521-63O17-7 (O-521-63O17-7)	1999	Hans Kleine Büning