Computability : a mathematical sketchbook - Bridges, Douglas S. (Graduate texts in mathematics ; ;, 1994)