Об исчислении строгой импликации.
Л.Л. Максимова (1968)
Algebra i Logika
Similarity:
Displaying similar documents to “О моделях исчисления E”
Об исчислении строгой импликации.
О системе аксиом исчисления строгой импликации
Л.Л. Максимова (1964)
Algebra i Logika
Similarity:
Существование абсолютного минимума кратных интегралов вариационного исчисления в непараметрической форме
Г.И. Шилова (1960)
Matematiceskij sbornik
Similarity:
Принцип разделения переменных в пропозициональных логиках
Л.Л. Максимова (1976)
Algebra i Logika
Similarity:
Структуры с импликацией.
Л.Л. Максимова (1973)
Algebra i Logika
Similarity:
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Р.А. Плюшкевичус (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вероятностные канонические исчисления
С.Ю. Маслов, Е.Д. Русаков ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
О квазирегулярных двойных интегралах вариационного исчисления
А.Г. Сигалов (1948)
Matematiceskij sbornik
Similarity:
Интерполяционные теоремы в модальных логиках. Достаточные условия
Л.Л. Максимова (1980)
Algebra i Logika
Similarity:
О свойствах суперинтуиционистских пропозициональных исчислений.
В.И. Хомич (1990)
Sibirskij matematiceskij zurnal
Similarity:
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Л.Л. Максимова (1979)
Algebra i Logika
Similarity: