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 – 20 of 25

Order by Relevance | Title | Year of publication

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

Г.Е. Минц — 1979

Zapiski naucnych seminarov Leningradskogo

Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов

Г.Е. Минц — 1979

Zapiski naucnych seminarov Leningradskogo

Метод эпсилон подстановок для исчисления предикатов с равенством

Г.Е. Минц — 1995

Zapiski naucnych seminarov POMI

Импликативная сложность аксиоматик

Г.Е. Минц — 1968

Zapiski naucnych seminarov Leningradskogo

Гейтинговское исчисление предикатов с эпсилон-символом

Г.Е. Минц — 1974

Zapiski naucnych seminarov Leningradskogo

Независимость постулатов натуральных исчислений

Г.Е. Минц — 1968

Zapiski naucnych seminarov Leningradskogo

Свободные от сечения исчисления типа S5

Г.Е. Минц — 1968

Zapiski naucnych seminarov Leningradskogo

Дизъюнктивная интерпретация исчисления LJ

Г.Е. Минц — 1968

Zapiski naucnych seminarov Leningradskogo

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

Г.Е. Минц — 1971

Zapiski naucnych seminarov Leningradskogo

Подбор термов в кванторных правилах конструктивного исчисления предикатов

Г.Е. Минц — 1967

Zapiski naucnych seminarov Leningradskogo

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

Г.Е. Минц — 1967

Zapiski naucnych seminarov Leningradskogo

Производность допустимых правил

Г.Е. Минц — 1973

Zapiski naucnych seminarov Leningradskogo

О Е-теоремах

Г.Е. Минц — 1974

Zapiski naucnych seminarov Leningradskogo

Бескванторные и однокванторные системы

Г.Е. Минц — 1971

Zapiski naucnych seminarov Leningradskogo

О семантике модальной логики

Г.Е. Минц — 1969

Zapiski naucnych seminarov Leningradskogo

Что можно сделать в ПРА

Г.Е. Минц — 1976

Zapiski naucnych seminarov Leningradskogo

Погружающие операции, связанные с "семантикой" С.Крипке

Г.Е. Минц — 1967

Zapiski naucnych seminarov Leningradskogo

Замкнутые категории и теория доказательств

Г.Е. Минц — 1977

Zapiski naucnych seminarov Leningradskogo

Допустимые и производные правила

Г.Е. Минц — 1968

Zapiski naucnych seminarov Leningradskogo

Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов

Г.Е. Минц — 1967

Zapiski naucnych seminarov Leningradskogo

Page 1 Next

Download Results (CSV)