1962 г., ЛГУ, математико-механический факультет по специальности математика.

Публикации:

1. О конструктивных отображениях круга в себя. - Тр. Матем. ин-та АН СССР, т. 72, 1964, с.437-461.
2. О гливенковских классах секвенций. - Тр. Матем. ин-та АН СССР, т.98, 1968, с.131-154.
3. Разрешимые классы псевдопредваренных формул. - Зап. научн. семинаров ЛОМИ, т. 60, 1976, с.109-170.
4. Complexity of proofs and their transformations in axiomatictheories. - Amer. Math. Soc., Translations of mathematical monographs, v.128, 1993, 153 с.
5. Оценки удлинения высоты доказательства при устранении сечений по формулам специального вида. - Зап. научн. семинаров ПОМИ (принята в печать).