Wand, Mitchell.
Induction, recursion, and programming /
Mitchell Wand.
- New York : North Holland, 1980.
- 202 p. : ill. ; 24 cm.
Includes index.
Bibliography : p.190-194.
0444003223
Electronic digital computers--Programming.
Induction (Mathematics).
Recursion theory.