Kleene, Stephen Cole  1909-1994 <br/><br/>
Formalized recursive functionals and formalized realizability/ 
by S. C. Kleene. 
 - Providence, R.I.:  American Mathematical Society,  1969. 
 - 106 p.:  26 cm. 
 - Memoirs of the American Mathematical Society;  no. 89 .
<br/><br/> Cover title. 
<br/><br/>Bibliography: p. 104-106. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursive functions