A Recursive Function,Defined On a Compact Interval and Having a Continuous Derivative that is Not Recursive (0)

by J Myhill
Venue:Michigan Math.J.18(1971