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


Трахтенброт Б.А.
[1973]
Автосводимые и неавтосводимые предикаты и множества
Сб. Исследования по теории алгорифмов и математической логике, т. 1, М., ВЦ АН СССР, 211-234
74.01.96
статья

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