@book{180282,
	author = {Kleine Buning, H. and Lettmann, T.},
	title = {Propositional logic :},
	publisher = {Cambridge University Press,},
	year = {1999.},
	series = {Cambridge tracts in theoretical computer science;},
	address = {Cambridge, U.K. :},
	note = {Translated from the German.  First published in German by B.G. Teubner in 1994}
}