Recommended Reading for Math 302 Computability Theory
Kleene, {\em Introduction to Metamathematics}, Van
Nostrand, 1952, on reserve at the library. Kleene has a more detailed
treatment of the primitive recursive functions on pp. 217--233.
Rogers [1967], {\em Theory of Recursive Functions and Effective
Computability}, McGraw-Hill, 1967. Read Chapter~1 for this week.
Piergiorgio Odifreddi, [1989],
Classical Recursion Theory, North Holland, 1989.
See: pp. 76--86, Lambda calculus and Lambda definability.
Downey Hirschfeldt book, "Algorithmic Randomness and
Complexity," to appear.
R. Soare, Computability and Recursion,
Bulletin of Symbolic Logic, vol. 2 (1996), 284--321.
Sept. 1996. On line in
Computability and Recursion .pdf .