Induction, recursion, and programming

Bibliografiset tiedot
Päätekijä:	Wand, Mitchell
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	New York North Holland 1980.
Aiheet:	Computer programming. Induction (Mathematics) Recursion theory.