Induction, recursion, and programming

Библиографические подробности
Главный автор:	Wand, Mitchell
Формат:	‌
Язык:	English
Опубликовано:	New York North Holland 1980.
Предметы:	Computer programming. Induction (Mathematics) Recursion theory.