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