Kleene, Stephen Cole,  1909-1994, <br/><br/>
Formalized recursive functionals and formalized realizability / 
by S.C. Kleene. 
 - 1 online resource (110 pages). 
 - Memoirs of the American Mathematical Society ;  number 89 .
 - Memoirs of the American Mathematical Society ;  no. 89. .
<br/><br/> Cover title. 
<br/><br/>Bibliography: pages 104-106. 
<br/><br/><label>ISBN: </label>9781470400385 (e-book) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursive functions.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9.615  / .K54 1969