Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную
В.П. Оревков (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Три способа выявления несущественных формул в секвенциях”
Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную
О биконъюнктивных классах сведения
В.П. Оревков (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Гливенковские классы секвенций
В.П. Оревков (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Замечание об усилении гипотезы Г.Крайзеля
В.П. Оревков (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Два неразрешимых класса формул классического исчисления предикатов
В.П. Оревков (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нижние оценки увеличения сложности выводов после устранения сечений
В.П. Оревков (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О неудлиняющих применениях правил для равенства
В.П. Оревков (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Одна специализация формы вывода в генценовских исчислениях и ее приложения
В.П. Оревков (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Эквивалентность двух определений непрерывности
В.П. Оревков (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной
В.П. Оревков (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые свойства гомеоморфизмов конструктивных метрических пространств
В.П. Оревков (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О непрерывности конструктивных функционалов
В.П. Оревков (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Фундаментальная группа дополнения плоской алгебраической кривой
С.Ю. Оревков (1988)
Matematiceskij sbornik
Similarity:
Схемы доказательств в аксиоматических теориях гильбертовского типа
В.П. Оревков (1988)
Zapiski naucnych seminarov Leningradskogo
Similarity: