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


Pour-El M. B.
[1965]
“Recursive isomorphism” and effectively extensible theories
Bull. Amer. Math. Soc., 71, № 3, 551-555
66.04.55
S
article

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