Computability computable functions, logic, and the foundations of mathematics - Epstein, Richard L & Carnielli, Walter A (Wadsworth/Thomson Learning, Australia, 2000)