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

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

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



Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти






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


1967, том 4  

| Общая информация | Содержание |


Исследования по конструктивной математике и математической логике. I


Предисловие редактора
А. О. Слисенко
7
Метод установления выводимости в классическом исчислении предикатов
Г. В. Давыдов
8–17
О корректировании недоказуемых формул
Г. В. Давыдов
18–29
Интеграл Лебега в конструктивном анализе
О. Демут
30–43
Достаточные условия неполноты для формализаций частей арифметики
Н. К. Косовский
44–57
Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
В. А. Лифшиц
58–64
Некоторые классы сведения и неразрешимые теории
В. А. Лифшиц
65–68
Дедуктивная общезначимость и классы сведения
В. А. Лифшиц
69–77
Проблема разрешимости для некоторых конструктивных теорий равенства
В. А. Лифшиц
78–85
О конструктивных группах
В. А. Лифшиц
86–95
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С. Ю. Маслов
96–111
Подбор термов в кванторных правилах конструктивного исчисления предикатов
Г. Е. Минц
112–122
Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов
Г. Е. Минц
123–133
Варьирование тактик поиска вывода в секвенциальных исчислениях
Г. Е. Минц
134–151
Погружающие операции, связанные с "семантикой" С. Крипке
Г. Е. Минц
152–159
О погружающих операциях
Г. Е. Минц, В. П. Оревков
160–167
Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную
В. П. Оревков
168–173
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р. А. Плюшкевичус
174–188
О секвенциальных вариантах прикладных исчислений предикатов
М. Г. Рогава
189–200
0 максимальных регуляторах непрерывности конструктивных функций
А. О. Слисенко
201–208
О представимости алгорифмически разрешимых предикатов машинами Рабина
Р. И. Фрейдзон
209–218
Записки научных семинаров ПОМИ
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025