К вопросу о парадоксах и к проблеме расширенного исчисления предикатов
Д.А. Бочвар (1957)
Matematiceskij sbornik
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: