А Сергей Николаевич АРТЕМОВ
Список работ Сергея Николаевича далеко не полный. Это только то, что удалось найти в интернете.
С. Н. Артемов (2004) Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении. УМН, т.59, №2(356), стр.9–36.
С. Н. Артемов (2003) Погружение модального исчисления в логику доказательств Труды. МИАН, т.242 стр.44–58
S. N. Artemov, T. Yavorskaya (2001) Operations on proofs and labels Mosc. Math. J., т.1 №4, стр.475–490
С. Н. Артемов (1990) O равномерной арифметической полноте модальных логик доказуемости Матем. заметки, т.48:1, №3, 3–9
С. Н. Артемов (1988), Степени неразрешимости расширений арифметики истинными предложениями УМН, т.43 №2(260) стр.127–128
С. Н. Артемов (1985) О модальных логиках, аксиоматизирующих доказуемость Изв. АН СССР. Сер. матем., т.49 №6, стр.1123–1154
Добавить отзыв
|