OPAC

Formalized recursive functionals and formalized realizability / by S.C. Kleene
(Memoirs of the American Mathematical Society ; no. 89)

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
応用数学(越)		410.8/M 5/89	50000112635	112635			予約		仮想書架	予約	仮想書架

出版情報	Providence, R.I. : American Mathematical Society , c1969
大きさ	106 p. ; 26 cm
一般注記	Title from cover "Received by the editors ... A summary was presented in a talk on August 19, 1968 at the Summer Conference in Intuitionism and Proof Theory at the Stat University of New York at Buffal."--P. [1] Bibliography: p. 104-106
著者標目	*Kleene, S. C.
件　名	LCSH:Recursive functions
本文言語	英語
書誌ID	TB10052959
NCID	BA08862034