Варьирование тактик поуска вывода в секвенциальных исчислениях
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: