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


Soskov I. N.
[1991]
Second order definability via enumerations
Z. math. Logik und Grundl. Math., 37, № 1, 45-54
92.09.57
article

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