Kleene S.C. ...


Kleene S.C.
[1962]
Herbrand-Gödel style recursive functionals of finite types
Recursive Functions Theory, Proc. Symp. Pure Math., 5, Amer. Math. Soc., Providence, RI, 49-75
68.05.61
article

Вернуться к поиску