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


Hyland J.M.E.
[1978]
The intrinsic recursion theory on the countable or continuous functionals
General Recursion Theory, II, Proc. Symp. (Oslo, 1977),135-145 North Holland
79.07.76
article

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