Induction, recursion, and programming

Bibliographic Details
Main Author:	Wand, Mitchell
Format:	Book
Language:	English
Published:	New York North Holland 1980.
Subjects:	Computer programming. Induction (Mathematics) Recursion theory.