Epstein, R. L. Computability: Computatable functions, logic and the foundations of mathematics - 2nd ed. - USA Wadsworth/Thomson Learning 2000 - 337p. ISBN: 0-534-54644-7