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


Liu S.C.
[1960]
An enumeration of the primitive recursive functions without repetition
Tohoku Math. J., 12, № 3, 400-402
62.06.55
EO
article

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