Induction, recursion, and programming

Bibliografski detalji
Glavni autor:	Wand, Mitchell
Format:	Knjiga
Jezik:	English
Izdano:	New York North Holland 1980.
Teme:	Computer programming. Induction (Mathematics) Recursion theory.