SoskovIN ...


Soskov I. N.
[1989]
Definability via enumerations
J. Symbolic Logic, 54, № 2, 428-440
90.06.62
article

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