Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 1
Экз. чит. зала
Доступно
3 из 9
Доступно
4 из 6
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
![](http://ecat.mpgu.info/Opac/app/webroot/img//progress.gif)
![](/Opac/app/webroot/img/doctypes/44.gif)
Доступно
1 из 1
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Васильев, Александр Викторович
Почти распознаваемость по спек¬тру простых исключительных групп Лиева типа
б.г.
ISBN отсутствует
Васильев, Александр Викторович
Почти распознаваемость по спек¬тру простых исключительных групп Лиева типа
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 9
Книга
Непейвода, Николай Николаевич
Прикладная логика: Учебное пособие для вузов по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология"
Изд-во Удмурт. ун-та, 1997 г.
ISBN 5-7029-0074-X
Непейвода, Николай Николаевич
Прикладная логика: Учебное пособие для вузов по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология"
Изд-во Удмурт. ун-та, 1997 г.
ISBN 5-7029-0074-X
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
4 из 6
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Применение логики в науке и технике: Сборник статей
Изд-во Акад. наук СССР, 1960 г.
ISBN отсутствует
Применение логики в науке и технике: Сборник статей
Изд-во Акад. наук СССР, 1960 г.
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)
Электронный ресурс (аналит. описание)
Александрова, Светлана Анатольевна
Проблема униформизации для X-предикатов в наследственно конечной списочной надстройке над полем д...
б.г.
ISBN отсутствует
Александрова, Светлана Анатольевна
Проблема униформизации для X-предикатов в наследственно конечной списочной надстройке над полем д...
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: Сб. пер.
Мир, 1970 г.
ISBN отсутствует
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: Сб. пер.
Мир, 1970 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Программы дисциплин предметной подготовки по специальности 010100-Математика: [Сборник]
Прометей, 1999 г.
ISBN отсутствует
Программы дисциплин предметной подготовки по специальности 010100-Математика: [Сборник]
Прометей, 1999 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/30.gif)
Экз. чит. зала
Электронный ресурс
Программы дисциплин предметной подготовки по специальности 010100-Математика: Сборник
Прометей, 1999 г.
ISBN отсутствует
Программы дисциплин предметной подготовки по специальности 010100-Математика: Сборник
Прометей, 1999 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Коробков, Сергей Самсонович
Проектирования конечных однопорождённых колец с единицей
б.г.
ISBN отсутствует
Коробков, Сергей Самсонович
Проектирования конечных однопорождённых колец с единицей
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/44.gif)
Доступно
1 из 1
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Стукачев, Алексей Ильич
Процессы и структуры на аппроксимационных пространствах
б.г.
ISBN отсутствует
Стукачев, Алексей Ильич
Процессы и структуры на аппроксимационных пространствах
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Градштейн, Израиль Соломонович
Прямая и обратная теоремы. Элементы алгебры и логики
Физматгиз, 1959 г.
ISBN отсутствует
Градштейн, Израиль Соломонович
Прямая и обратная теоремы. Элементы алгебры и логики
Физматгиз, 1959 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Градштейн, Израиль Соломонович
Прямая и обратная теоремы. Элементы алгебры и логики
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
Градштейн, Израиль Соломонович
Прямая и обратная теоремы. Элементы алгебры и логики
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Градштейн, Израиль Соломонович
Прямая и обратная теоремы. Элементы алгебры и логики
Наука. Гл. ред. физ.-мат. лит., 1972 г.
ISBN отсутствует
Градштейн, Израиль Соломонович
Прямая и обратная теоремы. Элементы алгебры и логики
Наука. Гл. ред. физ.-мат. лит., 1972 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Градштейн, Израиль Соломонович
Прямая и обратная теоремы. Элементы алгебры и логики
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
Градштейн, Израиль Соломонович
Прямая и обратная теоремы. Элементы алгебры и логики
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Калимуллин, Искандер Шагитович
Различные версии категоричности без задержек
б.г.
ISBN отсутствует
Калимуллин, Искандер Шагитович
Различные версии категоричности без задержек
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Швидефски, Марина Владмировна
Разложения в полных решётках. ii. несократимые разложения со свойством замены
б.г.
ISBN отсутствует
Швидефски, Марина Владмировна
Разложения в полных решётках. ii. несократимые разложения со свойством замены
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Швидефски, Марина Владмировна
Разложения в полных решётках. III. Единственные несократимые разложения и выпуклые геометрии
б.г.
ISBN отсутствует
Швидефски, Марина Владмировна
Разложения в полных решётках. III. Единственные несократимые разложения и выпуклые геометрии
б.г.
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)
Электронный ресурс (аналит. описание)
Мамонтов, Александр Сергеевич
Распознавание группы b%(4) по множеству порядков элементов в классе всех групп
б.г.
ISBN отсутствует
Мамонтов, Александр Сергеевич
Распознавание группы b%(4) по множеству порядков элементов в классе всех групп
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Романовский, Николай Семенович
Расщепление группы над абелевой нормальной подгруппой
б.г.
ISBN отсутствует
Романовский, Николай Семенович
Расщепление группы над абелевой нормальной подгруппой
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)