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


Dobritsa V. P.
[1998]
Computable classes of constructive models
Handbook of Recursive Mathematics, v.1, 183-233,Elsevier
?
article

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