Induction, recursion, and programming

Dades bibliogràfiques
Autor principal:	Wand, Mitchell
Format:	Llibre
Idioma:	English
Publicat:	New York North Holland 1980.
Matèries:	Computer programming. Induction (Mathematics) Recursion theory.