Rudimentary recursion, gentle functions and provident sets Mathias, A.R.D. Bowler, Nathan James 2015 - Forschungsinformationssystem der UHH