RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Яворская Татьяна

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4
Лекций и докладов: 2

Статистика просмотров:
Эта страница:354
Страницы публикаций:439
Полные тексты:124
Списки литературы:36
E-mail:

http://www.mathnet.ru/rus/person37148
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/690376

Публикации в базе данных Math-Net.Ru
2001
1. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001),  475–490  mathnet  mathscinet  zmath  isi
1998
2. Т. Л. Сидон, “Неаксиоматизируемость предикатных логик доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, 6,  18–22  mathnet  mathscinet  zmath
3. Т. Л. Сидон, “Интерполяционное свойство Крейга для операторных логик доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, 2,  34–38  mathnet  mathscinet  zmath
1997
4. Т. Л. Сидон, “Логика доказуемости с операциями над доказательствами”, Фундамент. и прикл. матем., 3:4 (1997),  1173–1197  mathnet  mathscinet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Обзор курса и ответы на вопросы
С. Л. Кузнецов, Т. Яворская
Спецкурс «Математическая логика, часть 2»
14 мая 2020 г. 16:00   
2. First order logic of proofs
Tatiana Yavorskaya
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 16:15   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020