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