@book{78493,
	author = {Hein, James L.},
	title = {Discrete structures, logic, and computability /},
	publisher = {Jones and Bartlett Publishers,},
	year = {2010},
	address = {Sudbury, Mass. :},
	edition = {3rd ed.}
}