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


Kleene S.C.
[1982]
Recursive functionals and quantifiers of finite type revisited, III
Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 1-40
84.03.89
article

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