Autorenfreundlich Bücher kaufen?!
Beschreibung
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 the-
ory of representations.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 23. November 2011 |
| Maße | 24.4 cm x 17 cm |
| Gewicht | 907 Gramm |
| Format | Softcover |
| ISBN-13 | 9783642699672 |
| Seiten | 517 |
Schlagwörter
Herstellerinformationen
Bekannt durch
