@book{37636,
	author = {Hein, James L.},
	title = {Discrete Structures, Logic and Computability},
	publisher = {Jones and Bartlett Learning},
	year = {2013},
	address = {Burlington},
	edition = {3rd}
}