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