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


Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., Millar R.C., Solomon R.
[2005]
Enumerations in computable structure theory
Ann. Pure Appl. Logic, 136, № 3, 219-246
?
article

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