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


Skolem T.
[1954]
Some considerations concerning recursive arithmetic
Bull. Soc. Math., Belgique, 6, № 1, 35-46
56.964
O
article

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