Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Back to Simple Search

Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 18 of 18

Order by Relevance | Title | Year of publication

Верхние оценки удлинения выводов при устранении сечений

В.П. Оревков — 1984

Zapiski naucnych seminarov Leningradskogo

Нижние оценки увеличения сложности выводов после устранения сечений

В.П. Оревков — 1979

Zapiski naucnych seminarov Leningradskogo

Три способа выявления несущественных формул в секвенциях

В.П. Оревков — 1979

Zapiski naucnych seminarov Leningradskogo

Схемы доказательств в аксиоматических теориях гильбертовского типа

В.П. Оревков — 1988

Zapiski naucnych seminarov Leningradskogo

Замечание об усилении гипотезы Г.Крайзеля

В.П. Оревков — 1989

Zapiski naucnych seminarov Leningradskogo

Разрешимые классы псевдопредваренных формул

В.П. Оревков — 1976

Zapiski naucnych seminarov Leningradskogo

О неудлиняющих применениях правил для равенства

В.П. Оревков — 1969

Zapiski naucnych seminarov Leningradskogo

О непрерывности конструктивных функционалов

В.П. Оревков — 1971

Zapiski naucnych seminarov Leningradskogo

Эквивалентность двух определений непрерывности

В.П. Оревков — 1971

Zapiski naucnych seminarov Leningradskogo

Некоторые свойства гомеоморфизмов конструктивных метрических пространств

В.П. Оревков — 1969

Zapiski naucnych seminarov Leningradskogo

Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной

В.П. Оревков — 1974

Zapiski naucnych seminarov Leningradskogo

Два неразрешимых класса формул классического исчисления предикатов

В.П. Оревков — 1968

Zapiski naucnych seminarov Leningradskogo

Одна специализация формы вывода в генценовских исчислениях и ее приложения

В.П. Оревков — 1973

Zapiski naucnych seminarov Leningradskogo

О биконъюнктивных классах сведения

В.П. Оревков — 1971

Zapiski naucnych seminarov Leningradskogo

Гливенковские классы секвенций

В.П. Оревков — 1968

Zapiski naucnych seminarov Leningradskogo

Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную

В.П. Оревков — 1967

Zapiski naucnych seminarov Leningradskogo

О погружающих операциях

Г.Е. Минц; В.П. Оревков — 1967

Zapiski naucnych seminarov Leningradskogo

Машинный алгорифм установления выводимости на основе обратного метода

Г.В. Давыдов; С.Ю. Маслов; Г.Е. Минц; В.П. Оревков; A.O. Слисенко — 1969

Zapiski naucnych seminarov Leningradskogo

Page 1

Download Results (CSV)