@book{190621,
	author = {Hein, James L.},
	title = {Discrete structures logic and computability /},
	publisher = {Jones and Bartlett Publishers.},
	year = {2010},
	address = {New Delhi},
	edition = {3rd ed.}
}