Induction, recursion, and programming

Detalles Bibliográficos
Autor Principal:	Wand, Mitchell
Formato:	Libro
Idioma:	English
Publicado:	New York North Holland 1980.
Subjects:	Computer programming. Induction (Mathematics) Recursion theory.