Тимофеева Ирина Леонидовна

Публикации в базе данных Math-Net.Ru

1. О доказательстве свойств полурекурсивных множеств
   
   Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 179 (2020),  73–77


2. Леонид Яковлевич Куликов
   
   Фундамент. и прикл. матем., 17:8 (2012),  3–8
3. Доказательство под микроскопом
   
   Матем. обр., 2003, № 3(26),  44–58
4. О логической структуре математических определений
   
   Матем. обр., 2002, № 3(22),  75–85