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.