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


Rabin M.
[1958]
On recursively enumerable and arithmetic models of set theory
J. Symbolic Logic, 23, № 4, 408-416
61.03.94
article

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