Финитное исследование трансфинитных выводов

Г.Е. Минц

The search session has expired. Please query the service again.

Displaying similar documents to “Финитное исследование трансфинитных выводов”

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

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1975)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1973)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О Е-теоремах

Г.Е. Минц (1974)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1974)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1967)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

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

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity: