@book{26550,
	author = {Kleine Buning, H and Lettman, Theodor},
	title = {Propositional logic :},
	publisher = { Cambridge University Press,},
	year = { 1999},
	address = {Cambridge [England]: New York:}
}