@book{47262,
	author = {Hein, James L.},
	title = {Discrete structures, logic, and computability},
	publisher = {Jones and Bartlett Learning,},
	year = {2010},
	address = {New Dehli,India:},
	edition = {3rd}
}