Computability

Intends to lay a common basis for the different branches of§recursion theory. Leads from the very ba...