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


Liu S.C.
[1960]
An example of general recursive well-ordering which is not primitive recursive
Tohoku Math. J., 12, № 2, 233-234
62.05.86
E
article

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