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


Перетятькин М.Г.
[1973]
Каждое рекурсивно перечислимое расширение теории линейного порядка имеет конструктивную модель
Алгебра и логика, 12, № 2, 211-219
74.02.106
G
статья

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