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