Kleene S.C. ...


Kleene S.C.
[1980]
Recursive functionals and quantifiers of finite type revisited, II
Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 1-29
?
article

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