Computability Computable Functions, Logic, and Foundations of mathematics - EPSTEIN, Richard L. (Australia Wadsworth Thomson Lrarning, 2000)