Новая регулярная константа в интуиционистской логике высказываний
А.Д. Яшин (1996)
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.
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.
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 “Ещё раз о счетно-категоричных предложениях.”
Новая регулярная константа в интуиционистской логике высказываний
Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Similarity:
О мощных типах в малых теориях.
С.В. Судоплатов (1990)
Sibirskij matematiceskij zurnal
Similarity:
Принципы нормализации формул
Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
О позитивных нумерованных моделях.
Б.М. Хусаинов (1991)
Sibirskij matematiceskij zurnal
Similarity:
Свойства нерасщепимых типов в стабильных теориях.
М.И. Бекенов, Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
О теориях со свойством Эренфойхта
В.Я. Беляев (1975)
Sibirskij matematiceskij zurnal
Similarity:
Построение определимых степеней конструктивности.
Б.Л. Будинас (1981)
Sibirskij matematiceskij zurnal
Similarity:
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
А.С. Морозов (1989)
Sibirskij matematiceskij zurnal
Similarity:
О свойствах суперинтуиционистских пропозициональных исчислений.
В.И. Хомич (1990)
Sibirskij matematiceskij zurnal
Similarity:
Теория моделей билинейных отображений.
А.Г. Мясников (1990)
Sibirskij matematiceskij zurnal
Similarity: