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


Kleene S.C.
[1959]
Recursive functionals and quantifiers of finite type, I
Trans. Amer. Math. Soc., 91, № 1, 1-52
60.11181
ROS
article

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