Return to Article Details Non-primitive Recursive Function Definitions Download Download PDF