Theories of Computability

This book gives an introduction to theories of computability from a mathematically sophisticated point of view. It treats not only 'the' theory of computability, but also a variety of other theories. Each topic is taken from the beginning and developed to a point at which the results can be appreciated.