К вопросу о парадоксах и к проблеме расширенного исчисления предикатов
Д.А. Бочвар (1957)
Matematiceskij sbornik
Similarity:
Displaying similar documents to “Об антиномиях, основанных на группах определений предикатов, каждое из которых непротиворечиво в отдельности”
К вопросу о парадоксах и к проблеме расширенного исчисления предикатов
Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления
Д.А. Бочвар ([unknown])
Matematiceskij sbornik
Similarity:
К вопросу о непротиворечивости одного трехзначного исчисления
Д.А. Бочвар (1943)
Matematiceskij sbornik
Similarity:
О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Верхние оценки удлинения выводов при устранении сечений
В.П. Оревков (1984)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Р.А. Плюшкевичус (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Табличные аппроксимации рекурсивных предикатов
Р.И. Фрейдзон (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О представимости алгорифмически разрешимых предикатов машинами Рабина
Р.И. Фрейдзон (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р.А. Плюшкевичус (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Конечные автоматы и логика одноместных предикатов
Б.А. Трахтенброт (1962)
Sibirskij matematiceskij zurnal
Similarity:
Регулярные аппроксимации рекурсивных предикатов
Р.И. Фрейдзон (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
К вопросу о парадоксах математической логики и теории множеств
Д.А. Бочвар (1944)
Matematiceskij sbornik
Similarity:
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Р.И. Фрейдзон (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity: