Summary and Info
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: 1. Basic Concepts of Computability. 2. Traditional Recursion Theory. 3. Unified Type 2 theory of constructivity and computability on Baire's space including a general theory of representations.
Review and Comments
Rate the Book
Computability 0 out of 5 stars based on 0 ratings.