---

＜図書＞
Subrecursion : functions and hierarchies / H.E. Rose
(Oxford logic guides ; 9)

出版者	Oxford [Oxfordshire] : Clarendon Press
出版者	New York : Oxford University Press
出版年	1984
本文言語	英語
大きさ	xiii, 189 p. ; 25 cm
著者標目	*Rose, H. E. (Harvey E.)
件　名	LCSH:Recursive functions LCSH:Recursion theory -- Hierarchies  全ての件名で検索 LCSH:Computable functions
一般注記	Bibliography: p. [183]-186 Includes indexes

 類似資料