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


Kleene S.C.
[1985]
Unimonotone functions of finite types (recursive functionals and quantifiers of finite type revisited IV)
Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 119-138
86.03.41
O
article

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