Classical Recursion Theory, volume 129 (1989)

by P Odifreddi
Venue:of Studies of Logic and the Foundations of Mathematics. North-Holland