Classical Recursion Theory, volume 125 (1989)

by P Odifreddi
Venue:of Studies in Logic. North-Holland