Formalized recursive functionals and formalized realizability
By: by S. C. Kleene
Series: Memoirs of the American Mathematical Society -- no. 89
Publisher: American Mathematical Society
Published: 1969
Place of publication: Providence
Language: eng
Number of pages: 106
Subjects: Recursive functions
Notes: Cover title.

Bibliography: p. 104-106.