Classical Recursion Theory, Volume Ii door Piergiorgio Odifreddi, Odifreddi P. & P.G. Odifreddi