Конструктивизируемость суператомных булевых алгебр.
Displaying 281 – 300 of 1185
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
M.M. Кипнис (1968)
Zapiski naucnych seminarov Leningradskogo
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П.Е. Алаев (2003)
Algebra i Logika
Конструктивные модели полных разрешимых теорий.
С.С. Гончаров, А.Т. Нуртазин (1973)
Algebra i Logika
Конструктивные модели регулярно бесконечной алгоритмической размерности
Ю.Г. Венцов, Ju. G. Vencov, Ǔ. G. Vencov, Ju. G. Vencov (1994)
Algebra i Logika
Конструктивные однородные расширения.
А.С. Денисов (1984)
Sibirskij matematiceskij zurnal
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Л.Л. Максимовa (1989)
Sibirskij matematiceskij zurnal
Кратно нормированные поля. II.
Ю.Л. Ершов (2002)
Algebra i Logika
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Критерий конструктивизируемости абелевой группы.
Н.Г. Хисамиев (1999)
Algebra i Logika
Критерий сильной конструктивизируемости одного класса абелевых p-групп.
К.Т. Абдразаков, Н.Г. Хисамиев (1984)
Sibirskij matematiceskij zurnal
Критерий сильной конструктивизируемости однородной модели.
М.Г. Перетятькин (1978)
Algebra i Logika
Критические теории
Ю.М. Важенин (1988)
Sibirskij matematiceskij zurnal
Критические теории многообразий нильпотентных колец
В.Ю. Попов (1997)
Sibirskij matematiceskij zurnal
Критические теории над-коммутативно-ассоциативных многообразий колец.
В.Ю. Попов (1995)
Sibirskij matematiceskij zurnal
Критические теории некоторых классов графов и унарных алгебр
С.В. Сизый (1989)
Algebra i Logika
Критические теории некоторых классов неассоциативных колец
Ю.М. Важенин (1989)
Algebra i Logika
Критррий полноты систем операций в операторных алгоритмах, реализующих функции k-значной логики
Ю.В. Голунков (1980)
Verojatnostnye metody i kibernetika
Лексикографические степени линейно упорядоченных множеств.
А.Г. Пинус (1973)
Sibirskij matematiceskij zurnal