Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Книга (аналит. описание)
Адян, Сергей Иванович
О работах П. С. Новикова и его учеников по алгоритмическим вопросам алгебры
б.г.
ISBN отсутствует
Адян, Сергей Иванович
О работах П. С. Новикова и его учеников по алгоритмическим вопросам алгебры
б.г.
ISBN отсутствует
Книга (аналит. описание)
Сергеева, Ирина Евгеньевна
О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует
Сергеева, Ирина Евгеньевна
О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Романьков, Виталий Анатольевич
О разрешимости уравнений в классах разрешимых групп и алгебр Ли
б.г.
ISBN отсутствует
Романьков, Виталий Анатольевич
О разрешимости уравнений в классах разрешимых групп и алгебр Ли
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Стукачев, Алексей Ильич
О свойствах sSigma-сводимости
б.г.
ISBN отсутствует
Стукачев, Алексей Ильич
О свойствах sSigma-сводимости
б.г.
ISBN отсутствует
Книга (аналит. описание)
Шапиро, Самуил Иосифович
О связи между курсами математической логики и программирования
б.г.
ISBN отсутствует
Шапиро, Самуил Иосифович
О связи между курсами математической логики и программирования
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Швидефски, Марина Владмировна
О сложности решёток квазимногообразий
б.г.
ISBN отсутствует
Швидефски, Марина Владмировна
О сложности решёток квазимногообразий
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Баженов, Николай Алексеевич
О степенях автоустойчивости для линейных порядков и линейно упорядоченных абелевых групп
б.г.
ISBN отсутствует
Баженов, Николай Алексеевич
О степенях автоустойчивости для линейных порядков и линейно упорядоченных абелевых групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Баженов, Николай Алексеевич
О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр
б.г.
ISBN отсутствует
Баженов, Николай Алексеевич
О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Баженов, Николай Алексеевич
О строгих и нестрогих степенях категоричности
б.г.
ISBN отсутствует
Баженов, Николай Алексеевич
О строгих и нестрогих степенях категоричности
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Ершов, Юрий Леонидович
О существенных расширениях to-пространств. II
б.г.
ISBN отсутствует
Ершов, Юрий Леонидович
О существенных расширениях to-пространств. II
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мамонтов, Александр Сергеевич
О теореме Бэра-Сузуки для групп 2-периода 4
б.г.
ISBN отсутствует
Мамонтов, Александр Сергеевич
О теореме Бэра-Сузуки для групп 2-периода 4
б.г.
ISBN отсутствует
Книга (аналит. описание)
Воот, Р.
О теореме Кобхама, касающейся неразрешимых теорий
б.г.
ISBN отсутствует
Воот, Р.
О теореме Кобхама, касающейся неразрешимых теорий
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Музычук, Михаил Евгеньевич
О теории Шура-Виландта для центральных S-колец
б.г.
ISBN отсутствует
Музычук, Михаил Евгеньевич
О теории Шура-Виландта для центральных S-колец
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Сергеева, Ирина Евгеньевна
О типичных ошибках логического характера
б.г.
ISBN отсутствует
Сергеева, Ирина Евгеньевна
О типичных ошибках логического характера
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Пинус, Александр Георгиевич
О фрагментах функциональных клонов
б.г.
ISBN отсутствует
Пинус, Александр Георгиевич
О фрагментах функциональных клонов
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Морозов, Андрей Сергеевич
О Х-представлениях вещественного порядка
б.г.
ISBN отсутствует
Морозов, Андрей Сергеевич
О Х-представлениях вещественного порядка
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Байкалова, Кристина Андреевна
О числе моделей теорий локально свободных алгебр
б.г.
ISBN отсутствует
Байкалова, Кристина Андреевна
О числе моделей теорий локально свободных алгебр
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Кислицин, Алексей Владимирович
О шпехтовости l-многообразий векторных пространств
б.г.
ISBN отсутствует
Кислицин, Алексей Владимирович
О шпехтовости l-многообразий векторных пространств
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Будкин, Александр Иванович
Об абсолютной замкнутости абелевых групп без кручения в классе метабелевых групп
б.г.
ISBN отсутствует
Будкин, Александр Иванович
Об абсолютной замкнутости абелевых групп без кручения в классе метабелевых групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Пинус, Александр Георгиевич
Об алгебрах с идентичными алгебраическими множествами
б.г.
ISBN отсутствует
Пинус, Александр Георгиевич
Об алгебрах с идентичными алгебраическими множествами
б.г.
ISBN отсутствует
Книга (аналит. описание)
Макаренков, Юрий Алексеевич
Об интуитивном понятии алгоритма в курсах теории алгоритмов и математической логики
б.г.
ISBN отсутствует
Макаренков, Юрий Алексеевич
Об интуитивном понятии алгоритма в курсах теории алгоритмов и математической логики
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Макаренков, Юрий Алексеевич
Об интуитивном понятии алгоритма в курсах теории алгоритмов и математической логики
б.г.
ISBN отсутствует
Макаренков, Юрий Алексеевич
Об интуитивном понятии алгоритма в курсах теории алгоритмов и математической логики
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Шевляков, Артем Николаевич
Об объединении решений систем уравнений в конечных простых полугруппах
б.г.
ISBN отсутствует
Шевляков, Артем Николаевич
Об объединении решений систем уравнений в конечных простых полугруппах
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Шевляков, Артем Николаевич
Об объединении решений систем уравнений в полугруппах с конечным идеалом
б.г.
ISBN отсутствует
Шевляков, Артем Николаевич
Об объединении решений систем уравнений в полугруппах с конечным идеалом
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Морозов, Андрей Сергеевич
Об одном достаточном условии непредставимости структур в наследственно конечных надстройках
б.г.
ISBN отсутствует
Морозов, Андрей Сергеевич
Об одном достаточном условии непредставимости структур в наследственно конечных надстройках
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Бардаков, В. Г.
Об одном представлении виртуальных кос автоморфизмами
б.г.
ISBN отсутствует
Бардаков, В. Г.
Об одном представлении виртуальных кос автоморфизмами
б.г.
ISBN отсутствует
Книга (аналит. описание)
Успенская, Марина Борисовна
Об одном формальном языке, включающем теоретико-множественные операторы
б.г.
ISBN отсутствует
Успенская, Марина Борисовна
Об одном формальном языке, включающем теоретико-множественные операторы
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Касымов, Надимулла Хабибуллаевич
Об определимости линейных порядков над негативными эквивалентностями
б.г.
ISBN отсутствует
Касымов, Надимулла Хабибуллаевич
Об определимости линейных порядков над негативными эквивалентностями
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Порошенко, Евгений Николаевич
Об универсальной эквивалентности частично коммутативных алгебр Ли
б.г.
ISBN отсутствует
Порошенко, Евгений Николаевич
Об универсальной эквивалентности частично коммутативных алгебр Ли
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Александрова, Светлана Анатольевна
Об униформизации в надстройках над некоторыми расширениями r
б.г.
ISBN отсутствует
Александрова, Светлана Анатольевна
Об униформизации в надстройках над некоторыми расширениями r
б.г.
ISBN отсутствует