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.