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


Putnam H., Smullyan R.M.
[1960]
Exact separation of recursively enumerable sets within theories
Proc. Amer. Math. Soc., 11, № 4, 574-577
61.06.102
O
article

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