Kleene, Stephen Cole

Formalized recursive functionals and formalized realizability - Providence, R.I. : American Mathematical Society, 1969 - 1 online resource (106 p.) - Memoirs of the American Mathematical Society, 1947-6221 ; .

9781470400385 (online)