Научный сотрудник отдела математической логики МИАН, к. ф.-м. н.

E-mail адресpakhfn at gmail.com

Научные интересыТеория доказательств, модальная логика.