Tekijä: Claus Rautenstrauch; Ralph Seelmann-Eggebert; Klaus Turowski Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Rainer Jacob; Andrea Bailer; Lindsey Haas; Erich Brauch; Dirk Großklaus; Elena Nowitzki Kustantaja: Stark Verlagsges.Mbh (2015) Saatavuus: Ei tiedossa
Springer Sivumäärä: 517 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2011, 23.11.2011 (lisätietoa) Kieli: Englanti
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.