Classical Recursion Theory, volume 125 (1989)

by P Odifreddi
Venue:of Studies in Logic and the Foundations of Mathematics