Intends to lay a common basis for the different branches of
recursion theory. Leads from the very basic theory to modern
concepts of computability. Consists of three consecutive
parts:
Basic Concepts of Computability. 2. Traditional
Recursion Theory.
Unified Type 2 theory of constructivity
and computability on Baire's space including a general the-
ory of representations.