Kleene, S. C <br/><br/>
Formalized recursive functionals and formalized realizability 
S. C. Kleene 
 - Providence  American Mathematical Society  1969 
 - 106 p  25 cm 
 - Memoirs of the American Mathematical Society  89 .
<br/><br/> Contine bibliografie  Lucrarea este multigrafiata