Главная
Новости
Ссылки
Гостевая книга
Контакты
Семейная мозаика

А Сергей Николаевич АРТЕМОВ

Список работ Сергея Николаевича далеко не полный. Это только то, что удалось найти в интернете.

С. Н. Артемов (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

<< КОММЕНТАРИИ к научным публикациям В.И.Халтурина Демкины:>>

Добавить отзыв

Ваше имя:
Ваш email:
Ваш отзыв:
Введите число, изображенное на картинке:

Все отзывы

Последние отзывы:
Фотогалерея

(c) 2008-2012. Контактная информация