Арифметизация символической логики
И.И. Жегалкин ([unknown])
Matematiceskij sbornik
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Арифметизация символической логики Теория предложений и функций одного аргумента”
Арифметизация символической логики
Модальные логики с LM-аксиомами.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Наследственно конечно-аксиоматизируемые расширения логики S4
В.В. Рыбаков (1976)
Algebra i Logika
Similarity:
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Similarity:
О некотором ослаблении интуиционистской логики
Ю.Н. Толстова (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Допустимые правила предтабличных модальных логик
В.В. Рыбаков (1981)
Algebra i Logika
Similarity:
Многообразия логических матриц
А.В. Чагров (1985)
Algebra i Logika
Similarity:
Математическая теория теплоустойчивости
Г.А. Селивестров ([unknown])
Matematiceskij sbornik
Similarity:
Интерполяционное свойство и суперинтуиционистские предикатные логики
Д.Е. Тишковский (1998)
Sibirskij matematiceskij zurnal
Similarity:
Сверхнезависимые суперинтуиционистские логики
В.Я. Герчиу (1970)
Matematiceskie issledovanija
Similarity:
Памяти академика Михаила Алексеевича Лаврентьева.
([unknown])
Sibirskij matematiceskij zurnal
Similarity:
Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике.
А.Д. Яшин (2002)
Algebra i Logika
Similarity:
Уровневые логики
Н.К. Косовский (1995)
Zapiski naucnych seminarov POMI
Similarity:
Роль детерминизма в языках запросов для баз данных.
С.С. Магазов (1987)
Sibirskij matematiceskij zurnal
Similarity: