@book{26831,
	author = {Hein, James L.},
	title = {Discrete structures, logic, and computability},
	publisher = {Jones & Bartlett learning},
	year = {2017},
	address = {New Delhi},
	note = {Includes references, glossary and index.}
}