Memoirs of the American Mathematical Society ; number 89
Print version: Kleene, Stephen Cole. Formalized recursive functionals and formalized realizability. Providence : American Mathematical Society, 1969 106 ; 26 cm Memoirs of the American Mathematical Society ; no. 89 ISBN 9780821812891