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


Fenstad J.E.
[1978]
On the foundation of general recursion theory: computations versus inductive definability
General Recursion Theory, II, Proc. Symp. (Oslo, 1977), North Holland, 99-110
79.05.63
article

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