@book{60274,
	author = {Epstein, Richard L. and Carnielli, Walter A.},
	title = {Computability  computable functions, logic, and the foundations of mathematics},
	publisher = {Wadsworth/Thomson Learning},
	year = {c2000},
	address = {Belmont (California, Estados Unidos)},
	edition = {3rd ed.}
}