Computability : a mathematical sketchbook / - Bridges, D. S. (Springer-Verlag,, 1994)