@book{15734,
	author = {Hein, James L.},
	title = {Discrete structures, logic, and computability /},
	publisher = {Jones & Bartlett Learning,},
	year = {[2017]},
	address = {Burlington, MA :},
	edition = {4th ed.}
}