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


Nies A.
[1993]
Interpreting true arithmetic in degree structures
Lect. Notes in Comp. Sci., 713, 255-263, Springer -Verlag
?
O
article

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