1997 01.1997 - 12.1999 Генезис марковского математического конструктивизма и его философские и методологические аспекты 1994 10.1994 - 01.1997 Подготовка и издание трудов А.А.Маркова в трех книгах 01.1994 - 12.1996 Методы теоретической информатики в проблеме автоматичес- кого построения алгоритмов (структурная трансформация и синтез)