Induction, recursion, and programming

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Wand, Mitchell
Formáid:	LEABHAR
Teanga:	English
Foilsithe / Cruthaithe:	New York North Holland 1980.
Ábhair:	Computer programming. Induction (Mathematics) Recursion theory.