Classical Recursion Theory, Volume I (1992)

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