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


Ершов Ю.Л.
[1966]
Новые примеры неразрешимых теорий
Алгебра и логика, 5, № 5, 37-48
67.06.88
статья

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