Induction, recursion, and programming

Dettagli Bibliografici
Autore principale:	Wand, Mitchell
Natura:	Libro
Lingua:	English
Pubblicazione:	New York North Holland 1980.
Soggetti:	Computer programming. Induction (Mathematics) Recursion theory.