Induction, recursion, and programming

Bibliographische Detailangaben
1. Verfasser:	Wand, Mitchell
Format:	Buch
Sprache:	English
Veröffentlicht:	New York North Holland 1980.
Schlagworte:	Computer programming. Induction (Mathematics) Recursion theory.