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


Aczel P.
[1975]
Recursivey density types and Nerode extensions of arithmetic
J. Austral. Math. Soc., A20, № 2, 146-158
76.02.84
article

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