Поиск :
Личный кабинет :
Электронный каталог: Артемов, С. Н. - Погружение модального ламбда-исчисления в логику доказательств
Артемов, С. Н. - Погружение модального ламбда-исчисления в логику доказательств
Книга (аналит. описание)
Автор: Артемов, С. Н.
Т. 242: Математическая логика и алгебра.: Погружение модального ламбда-исчисления в логику доказательств
б.г.
ISBN отсутствует
Автор: Артемов, С. Н.
Т. 242: Математическая логика и алгебра.: Погружение модального ламбда-исчисления в логику доказательств
б.г.
ISBN отсутствует
Книга (аналит. описание)
Артемов, С. Н.
Погружение модального ламбда-исчисления в логику доказательств / С. Н. Артемов // Математический институт им. В.А.Стеклова. Труды . – М. : Наука, 1935. - Т. 242: Математическая логика и алгебра. / ред. С. И. Адян . – 2003 . – С. 44-58 .
Артемов, С. Н.
Погружение модального ламбда-исчисления в логику доказательств / С. Н. Артемов // Математический институт им. В.А.Стеклова. Труды . – М. : Наука, 1935. - Т. 242: Математическая логика и алгебра. / ред. С. И. Адян . – 2003 . – С. 44-58 .