Kent Petersson, Beräkningsbarhet för dataloger ( 1988);
H. Rogers, Jr., Theory of Recursive Functions & Effective Computability ( 1987).
Vill du få tillgång till hela artikeln?

Källangivelse
Nationalencyklopedin, Litteraturanvisning. http://www.ne.se/uppslagsverk/encyklopedi/lång/rekursionsteori/litteraturanvisning