Induction, recursion, and programming

書目詳細資料
主要作者:	Wand, Mitchell
格式:	圖書
語言:	English
出版:	New York North Holland 1980.
主題:	Computer programming. Induction (Mathematics) Recursion theory.