О свойствах суперинтуиционистских пропозициональных исчислений.
В.И. Хомич (1990)
Sibirskij matematiceskij zurnal
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.
Displaying similar documents to “Сепарационное свойство для доказуемостно-интуиционистского исчисления”
О свойствах суперинтуиционистских пропозициональных исчислений.
Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
Д.Е. Тишковский (2001)
Algebra i Logika
Similarity:
Промежуточные прострастваи бистохастические проекторы
А.А. Меклер (1975)
Matematiceskie issledovanija
Similarity:
О моделях исчисления E
Л.Л. Максимова (1967)
Algebra i Logika
Similarity:
О финитной аппроксимируемости суперинтуиционистких логик
В.Я. Герчиу (1972)
Matematiceskie issledovanija
Similarity:
О свойстве обратимости n-арных групп
Л.А. Урсу (1985)
Matematiceskie issledovanija
Similarity:
Существование абсолютного минимума кратных интегралов вариационного исчисления в непараметрической форме
Г.И. Шилова (1960)
Matematiceskij sbornik
Similarity:
Рандомизированные стратегии в управляемых марковских последовательностях
A.E. Барбарошие (1986)
Matematiceskie issledovanija
Similarity:
Итерированные операции и R- операция
И.И. Паровиченко (1977)
Matematiceskie issledovanija
Similarity:
Обслуживание с ориентацией в режиме "Жди наивероятного"
Г.К. Мишкой (1986)
Matematiceskie issledovanija
Similarity:
Тепловыделение в слоистом вязкоупругом полупространстве
O.E. Булгару (1985)
Matematiceskie issledovanija
Similarity:
О плоских бихроматических гиперграфах
С.Г. Инджеян (1982)
Matematiceskie issledovanija
Similarity:
Мутационные исчисления
С.Ю. Маслов (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Система для извлечения логических зависимостей
A.M. Зинченко ([unknown])
Matematiceskie issledovanija
Similarity: