Induction, recursion, and programming

Bibliografiska uppgifter
Huvudupphovsman:	Wand, Mitchell
Materialtyp:	Bok
Språk:	English
Publicerad:	New York North Holland 1980.
Ämnen:	Computer programming. Induction (Mathematics) Recursion theory.