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


Peretyat’kin M.G.
[1998]
Constructive models of finitely axiomatizable theories
Handbook of Recursive Mathematics, v.1, 347-379, Elsevier
?
article

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