TY  - GEN
AU  - Kleene, Stephen Cole,
CN  - QA9.615
ID  - 1364939
KW  - Recursive functions.
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113525
N1  - Cover title.
SN  - 9781470400385 (e-book)
T1  - Formalized recursive functionals and formalized realizability /
TI  - Formalized recursive functionals and formalized realizability /
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113525
VL  - number 89
ER  -