Classical Recursion Theory. Vol. II, volume 143 (1999)

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