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


Kleene S.C.
[1991]
Recursive functionals and quantifiers of finite types revisted, V
Trans. Amer. Math. Soc., 325, № 2, 593-630
92.04.31
article

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