Induction, recursion, and programming

Détails bibliographiques
Auteur principal:	Wand, Mitchell
Format:	Livre
Langue:	English
Publié:	New York North Holland 1980.
Sujets:	Computer programming. Induction (Mathematics) Recursion theory.