Арифметизация символической логики Теория предложений и функций одного аргумента

И.И. Жегалкин

The search session has expired. Please query the service again.

Displaying similar documents to “Арифметизация символической логики Теория предложений и функций одного аргумента”

Арифметизация символической логики

И.И. Жегалкин ([unknown])

Matematiceskij sbornik

Similarity:

Модальные логики с 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: