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


Pour-El M.B., Howard W.A.
[1964]
A structural criterion for recursive enumeration without repetitions
Z. math. Logik und Grundl. Math., 10, № 2, 105-114
65.09.59
EO
article

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