next up previous
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

AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: