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