Classical recursion theory. Vol. I (1989)

by P G Odifreddi