Нижние оценки увеличения сложности выводов после устранения сечений
В.П. Оревков (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Верхние оценки удлинения выводов при устранении сечений”
Нижние оценки увеличения сложности выводов после устранения сечений
Два неразрешимых класса формул классического исчисления предикатов
В.П. Оревков (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную
В.П. Оревков (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Три способа выявления несущественных формул в секвенциях
В.П. Оревков (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О неудлиняющих применениях правил для равенства
В.П. Оревков (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О биконъюнктивных классах сведения
В.П. Оревков (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Гливенковские классы секвенций
В.П. Оревков (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Замечание об усилении гипотезы Г.Крайзеля
В.П. Оревков (1989)
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: