Computability computable functions, logic, and the foundations of mathematics - Epstein, Richard L. (Australia wadsworth, 2000)