Яворская Татьяна Леонидовна

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

1. Кафедра математической логики и теории алгоритмов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1,  23–32
2. On first order logic of proofs
   
   Mosc. Math. J., 1:4 (2001),  475–490
3. Неаксиоматизируемость предикатных логик доказательств
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 6,  18–22
4. Интерполяционное свойство Крейга для операторных логик доказательств
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 2,  34–38
5. Логика доказуемости с операциями над доказательствами
   
   Фундамент. и прикл. матем., 3:4 (1997),  1173–1197