Алгебра и логика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

1992, том 31, номер 1  

Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Ю. Г. Венцов 		3–20
Позитивные алгебры со счетными решетками конгруэнций
Н. Х. Касымов 		21–37
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
С. П. Одинцов 		38–46
Семантическая универсальность теорий над суперсписком
М. Г. Перетятькин 		47–73
О многообразиях, скелеты которых являются решетками
А. Г. Пинус 		74–82
Разрешимая модальная логика с неразрешимой проблемой допустимости правил вывода
А. В. Чагров 		83–93
Заседания семинара “Алгебра и логика”
 94
Новые книги
 95
Алгебра и логика Algebra and Logic
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025