Classical Recursion Theory, volume 125 (1989)

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