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 17:18:52 PDT 1996