Библиография Лаврова И.А.


Kleene S.C.
[1978]
Recursive functionals and quantifiers of finite type revisited, I
General Recursion Theory, II, Proc. Symp. (Oslo, 1977), North Holland, 185-222
79.06.73
O
article

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