Formalized recursive functionals and formalized realizability/

Kleene, Stephen Cole 1909-1994

Formalized recursive functionals and formalized realizability/ by S. C. Kleene. - Providence, R.I.: American Mathematical Society, 1969. - 106 p.: 26 cm. - Memoirs of the American Mathematical Society; no. 89 .

Cover title.

Bibliography: p. 104-106.


Recursive functions
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha