Return to Article Details Recursive function theory applied to the logical system elementar arythmetic Download Download PDF