Classical Recursion Theory, Volume 2. Number 143 (1999)

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