@book{32764,
	author = {Hein, James L.},
	title = {Discrete Structures, Logic, and Computability},
	publisher = {Jones and Bartlett},
	year = {2010},
	address = {Boston},
	edition = {3rd}
}