Исследования по конструктивной математике и математической логике. X, Зап. научн. сем. ПОМИ, 241, ред. Е. Я. Данцин, В. П. Оревков, 1997 http://mi.mathnet.ru/book334
Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ред. Е. Я. Данцин, В. П. Оревков, 1995, 149 с. http://mi.mathnet.ru/book922
