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


Гончаров С.С.
[1993]
Эффективно бесконечные классы слабых конструктивных моделей
Алгебра и логика, 32, № 6, 631-664
95.03.59
G
статья

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