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 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 the- ory of representations.
| ISBN-13: | 9780387137216 |
| ISBN-10: | 0387137211 |
| Publisher: | Springer Verlad |
| Publication date: | 1987 |
| Edition description: | First Edition |
| Pages: | 517 |
| Product dimensions: | Height: 10 Inches, Length: 7 Inches, Weight: 2 Pounds, Width: 1 Inches |
| Author: | Klaus Weihrauch |
| Language: | en |
| Binding: | Hardcover |
Discover more books in the same category
