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


Knight J. F., Lachlan A. H., Soare R.I.
[1984]
Two theorems on degree of models of true arithmetic
J. Symbolic Logic, 49, № 2, 425-436
85.01.55
S
article

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