Computability a mathematical scetchbook - Bridges, Douglas S. (Springer, 1994)