Электронный каталог МПГУ -Книги в рубрике: - Absopac

Поиск :

Личный кабинет :

Электронный каталог: Книги в рубрике:

Рубрики
--> математика
----> математическая логика

Рубрика

Название:: математическая логика
См. также:: 22.12 основания М. л. 87.45

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

<< назад | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | вперед >>

Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Гладских, Дарья Сергеевна
О проблемах формирования компетенций в области программирования у бакалавров IT-направления
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Когабаев, Нурлан Талгатович
О проблеме вложимости вычислимых проективных плоскостей
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Дудкин, Федор Анатольевич
О проблеме изоморфизма обобщённых групп баумслага-солитера с одним мобильным ребром
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Бонди, Ирина Леонидовна
О проблеме разрешения для некоторых формально-логических исчислений
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Вдовин, Евгений Петрович
О пронормальности холловых подгрупп в своём нормальном замыкании
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Ли, Берндт
О П-свойстве и П-нормальности подгрупп конечных групп. II
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Адян, Сергей Иванович
О работах П. С. Новикова и его учеников по алгоритмическим вопросам алгебры
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
Сергеева, Ирина Евгеньевна
О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Романьков, Виталий Анатольевич
О разрешимости уравнений в классах разрешимых групп и алгебр Ли
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Стукачев, Алексей Ильич
О свойствах sSigma-сводимости
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Шапиро, Самуил Иосифович
О связи между курсами математической логики и программирования
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Швидефски, Марина Владмировна
О сложности решёток квазимногообразий
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Баженов, Николай Алексеевич
О степенях автоустойчивости для линейных порядков и линейно упорядоченных абелевых групп
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Баженов, Николай Алексеевич
О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Баженов, Николай Алексеевич
О строгих и нестрогих степенях категоричности
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Ершов, Юрий Леонидович
О существенных расширениях to-пространств. II
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Мамонтов, Александр Сергеевич
О теореме Бэра-Сузуки для групп 2-периода 4
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Воот, Р.
О теореме Кобхама, касающейся неразрешимых теорий
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Музычук, Михаил Евгеньевич
О теории Шура-Виландта для центральных S-колец
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Сергеева, Ирина Евгеньевна
О типичных ошибках логического характера
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Пинус, Александр Георгиевич
О фрагментах функциональных клонов
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Морозов, Андрей Сергеевич
О Х-представлениях вещественного порядка
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Байкалова, Кристина Андреевна
О числе моделей теорий локально свободных алгебр
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Кислицин, Алексей Владимирович
О шпехтовости l-многообразий векторных пространств
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Будкин, Александр Иванович
Об абсолютной замкнутости абелевых групп без кручения в классе метабелевых групп
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Пинус, Александр Георгиевич
Об алгебрах с идентичными алгебраическими множествами
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Макаренков, Юрий Алексеевич
Об интуитивном понятии алгоритма в курсах теории алгоритмов и математической логики
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Макаренков, Юрий Алексеевич
Об интуитивном понятии алгоритма в курсах теории алгоритмов и математической логики
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Шевляков, Артем Николаевич
Об объединении решений систем уравнений в конечных простых полугруппах
б.г.
ISBN отсутствует

полный текст

На полку