Варьирование тактик поуска вывода в секвенциальных исчислениях
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Трансфинитные развертки арифметических формул”
Варьирование тактик поуска вывода в секвенциальных исчислениях
Новая последовательность редукций для арифметики
Г.Е. Минц (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Независимость постулатов натуральных исчислений
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Производность допустимых правил
Г.Е. Минц (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Допустимые и производные правила
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О Е-теоремах
Г.Е. Минц (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Финитное исследование трансфинитных выводов
Г.Е. Минц (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Погружающие операции, связанные с "семантикой" С.Крипке
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Подбор термов в кванторных правилах конструктивного исчисления предикатов
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Гейтинговское исчисление предикатов с эпсилон-символом
Г.Е. Минц (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Дизъюнктивная интерпретация исчисления LJ
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики
Г.Е. Минц (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity: