О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
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 “Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций”
О секвенциальных вариантах прикладных исчислений предикатов
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
М.Х. Фахми (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р.А. Плюшкевичус (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вероятностные канонические исчисления
С.Ю. Маслов, Е.Д. Русаков ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С.Ю. Маслов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О моделях исчисления E
Л.Л. Максимова (1967)
Algebra i Logika
Similarity:
Мутационные исчисления
С.Ю. Маслов (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Существование абсолютного минимума кратных интегралов вариационного исчисления в непараметрической форме
Г.И. Шилова (1960)
Matematiceskij sbornik
Similarity:
К вопросу о парадоксах и к проблеме расширенного исчисления предикатов
Д.А. Бочвар (1957)
Matematiceskij sbornik
Similarity:
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Р.И. Фрейдзон (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Свободные от сечения исчисления типа S5
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Аналог теоремы Эрбрана для непредваренных формул конструктивного исчисления предикатов
Г.Е. Минц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов
Г.Е. Минц (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity: