Яворский Ростислав Эдуардович

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

1. Narrabat — a prototype service for stylish news retelling
   
   Труды ИСП РАН, 29:4 (2017),  325–336
2. О пренексном фрагменте логики доказуемости с кванторами по доказательствам
   
   Труды МИАН, 242 (2003),  123–135
3. Предикатные логики выразительно сильных теорий
   
   Матем. заметки, 66:5 (1999),  777–788
4. Разрешимые логики первого порядка
   
   Фундамент. и прикл. матем., 4:2 (1998),  733–749
5. Предикатные логики разрешимых фрагментов арифметики
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 2,  12–16
6. Системы аксиом и модели для теорий первого порядка с оператором доказуемости
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1996, № 1,  12–16