Теоретические применения методов математической логики. II, Зап. научн. сем. ЛОМИ, 68, ред. Г. Е. Минц, В. П. Оревков, 1977, 150 с. http://mi.mathnet.ru/book502
Теоретические применения методов математической логики. I, Зап. научн. сем. ЛОМИ, 49, ред. С. Ю. Маслов, Г. Е. Минц, 1975, 180 с. http://mi.mathnet.ru/book581