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


Kleene S.C.
[1963]
Recursive functionals and quantifiers of finite type, II
Trans. Amer. Math. Soc., 108, № 1, 106-142
64.06.67
ROS
article

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