Return to Article Details A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration Download Download PDF