К теории моделей для интуиционисткой логоки
В.И. Степанов (1984)
Matematiceskij sbornik
Similarity:
Displaying similar documents to “О выразительной силе некоторых динамических логик”
К теории моделей для интуиционисткой логоки
Базисы допустимых правил модальной системы Grz и интуиционистской логики
В.В. Рыбаков (1987)
Matematiceskij sbornik
Similarity:
Вероятностное вогнутое динамическое программирование
Е.Б. Дынкин (1972)
Matematiceskij sbornik
Similarity:
Неразрешимые и разрешимые свойства конституант
В.Г. Кановей (1985)
Matematiceskij sbornik
Similarity:
Правильные объединения и специальные подпрямые суммы в категориях
М.С. Цаленко (1962)
Matematiceskij sbornik
Similarity:
Функционально-алгебраический вариант теоремы Бора-ван Кампена
Е.А. Горин (1970)
Matematiceskij sbornik
Similarity:
О некоторых специальных тригонометрических рядах
А.И. Шмуклер (1967)
Matematiceskij sbornik
Similarity:
Условия отсутствия фазовых переходов в одномерных классических системах
Р.Л. Добрушин (1974)
Matematiceskij sbornik
Similarity:
Сходимость к процессу с независимыми приращениями в схеме нарастающих сумм зависимых случайных величин
В.Г. Михайлов (1974)
Matematiceskij sbornik
Similarity:
Локализация теорем равносходимости
Н.П. Купцов (1967)
Matematiceskij sbornik
Similarity:
О строении инвариантных мер, связaнных с некоммутативными случайными произведениями
Е.Г. Литинский (1973)
Matematiceskij sbornik
Similarity:
О ступенях разрешимости структур и степенях идемпотентности предмногообразий структур
В.Б. Лендер (1974)
Matematiceskij sbornik
Similarity:
Операторное обобщение теоремы о логарифмическом вычете и теоремы Руше
И.Ц. Гохберг, Е.И. Сигал (1971)
Matematiceskij sbornik
Similarity:
Виковские и антивиковские символы операторов
Ф.А. Березин (1972)
Matematiceskij sbornik
Similarity:
О собственных функциях оператора, отвечающих полюсам аналитического продолжения резольвенты через непрерывный спектр
Б.Р. Вайнберг (1972)
Matematiceskij sbornik
Similarity:
О числе неразложимых целочисленных p-адических представлений скрещенных групповых колец
П.М. Гудивок (1973)
Matematiceskij sbornik
Similarity:
Многомерная задача Плато в римановых многообразиях
А.Т. Фоменко (1972)
Matematiceskij sbornik
Similarity:
Сопряженные вогнуто-выпуклые функции в линейных топологических пространствах и их седловые точки
Н.Т. Тынянский (1969)
Matematiceskij sbornik
Similarity:
О типичных свойствах множеств уровня показателей Ляпунова
В.М. Миллионщиков (1986)
Matematiceskij sbornik
Similarity: