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.