Next:
Recursive function theory
Up:
A BASIS FOR A
Previous:
Recursion Induction
Relation to Other Formalisms
Recursive function theory
On the Relations between Computation and Mathematical Logic
John McCarthy
Wed May 1 20:03:21 PDT 1996