@book{34405,
	author = {HEIN JAMES},
	title = {DISCRETE STRUCTURES LOGIC AND COMPUTABILITY },
	publisher = {Jones and Bartlett Publishers International},
	year = {2013},
	edition = {3RD}
}