Classical Recursion Theory. Number 125 (1989)

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