RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Артемов Сергей Николаевич

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

Статистика просмотров:
Эта страница:1085
Страницы публикаций:1463
Полные тексты:499
Списки литературы:175
E-mail:

http://www.mathnet.ru/rus/person14166
Список публикаций на Google Scholar
http://zbmath.org/authors/?q=ai:artemov.sergei-n
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=225352
http://elibrary.ru/author_items.asp?authorid=7523

Публикации в базе данных Math-Net.Ru
1. Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении
С. Н. Артемов
УМН, 59:2(356) (2004),  9–36
2. Погружение модального $\lambda$-исчисления в логику доказательств
С. Н. Артемов
Тр. МИАН, 242 (2003),  44–58
3. On first order logic of proofs
S. N. Artemov, T. Yavorskaya
Mosc. Math. J., 1:4 (2001),  475–490
4. O равномерной арифметической полноте модальных логик доказуемости
С. Н. Артемов
Матем. заметки, 48:1 (1990),  3–9
5. Степени неразрешимости расширений арифметики истин­ными предложениями
С. Н. Артемов
УМН, 43:2(260) (1988),  127–128
6. О модальных логиках, аксиоматизирующих доказуемость
С. Н. Артемов
Изв. АН СССР. Сер. матем., 49:6 (1985),  1123–1154

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