Turing Computability: Theory and Applications

This book emphasizes three very important concepts: computability, as opposed to recursion or induction; classical computability, i.e., algorithmic functions on certain countable structures in the original sense of Turing and Post; and the art of computability, i.e., a skill to be practiced, but also important an esthetic sense of beauty and taste in mathematics.