TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Formalized recursive functionals and formalized realizability
T2  - Memoirs of the American Mathematical Society
AV  - QA9.615 .K54 1969
PY  - 1969///
CY  - Providence
PB  - American Mathematical Society
KW  - Recursive functions
KW  - Electronic books
N1  - Cover title; Bibliography: pages 104-106
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3113525
ER  -