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


Friedberg R.M.
[1958]
Three theorems on recursive enumeration
J. Symbolic Logic, 23 , № 3, 309-316
61.01.64
REOSG
article

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