Epstein, R. L.

Computability: Computatable functions, logic and the foundations of mathematics - 2nd ed. - USA Wadsworth/Thomson Learning 2000 - 337p.

0-534-54644-7