Book

Recursion theory week

by Heinz-Dieter Ebbinghaus, Gerald E. Sacks