Odifreddi, P G.
Classical Recursion Theory, Vols. I & II. - Netherlands Elsevier 1999 - 668p; 949p; - Studies in Logic and Foundations of Mathematics, 125 & 143 .
0 444 50205 X
Classical Recursion Theory
510.6 ODI 510.6 ODI
Classical Recursion Theory, Vols. I & II. - Netherlands Elsevier 1999 - 668p; 949p; - Studies in Logic and Foundations of Mathematics, 125 & 143 .
0 444 50205 X
Classical Recursion Theory
510.6 ODI 510.6 ODI