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