Title: Induction, recursion, and programming
Subjects: Computer programming, Induction (Mathematics), Recursion theory