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