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


Перетятькин М.Г.
[1971]
Сильно конструктивные модели и нумерации булевой алгебры рекурсивных множеств
Алгебра и логика, 10 , № 5, 535-557.
72.05.82
G
статья

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