TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Formalized recursive functionals and formalized realizability
T2  - Memoirs of the American Mathematical Society, 
SN  - 9781470400385 (online)
AV  - QA3 .A57 no. 89
PY  - 1969///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Recursive functions
N1  - Includes bibliographical references; Introduction; Part I. Formalized recursive functionals; 1. Computation tree numbers; 2. $p$-terms and $p$-functors; $r\simeq s$ (definition and basic properties); 3. Representation of $p$-terms by proper indices; 4. The recursion theorem; the normal form theorem; $\{\tau \}[\alpha ]$ and $\wedge \alpha \, u[\alpha ]$; $!R \,\&\, [A(R)]$; Part II. Formalized realizability; 5. Intuitionistically provable formulas are realizable and $\bigcirc \!\!\!\!\!q$\ -realizable; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/memo/0089
UR  - http://dx.doi.org/10.1090/memo/0089
ER  -