Induction, recursion, and programming

Detalhes bibliográficos
Autor principal:	Wand, Mitchell
Formato:	Livro
Idioma:	inglês
Publicado em:	New York North Holland 1980.
Assuntos:	Computer programming. Induction (Mathematics) Recursion theory.