Computability : computable functions, logic, and the foundations of mathematics - Epstein, Richard L. (The Wadsworth & Brooks/Cole mathematics series, 1989)