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


Goncharov S.S., Ershov Yu. L.
[1998]
Elementary theories and their constructive models
Handbook of Recursive Mathematics, v.1, 115-165, Elsevier
?
article

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