@book{17564,
	author = {Lu, Zhongwan.},
	title = {Mathematical logic for computer science /},
	publisher = {World Scientific, },
	year = {c1998.},
	address = {Singapore : },
	edition = {2nd ed.}
}