|
|
 |
| Результат поиска |
Поиск книг, содержащих: Фильтр главный
| Книга | Страницы для поиска | | Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 110 | | Верещагин Н.К., Шень А. — Языки и исчисления | 247 | | Гретцер Г. — Общая теория решеток | 38 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 81 | | Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 196, 248 | | Мальцев А.И. — Алгебраические системы | 194 | | Кон П. — Универсальная алгебра | 214 | | Гончаров С.С. — Счетные булевы алгебры и разрешимость | 31 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 98 | | Плоткин Б.И. — Группы автоморфизмов алгебраических систем | 69 | | Бахтурин Ю.А. — Тождества в алгебрах Ли | 189 | | Кейслер Г., Чэн Ч.Ч. — Теория моделей | 63, 194 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 64 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 243 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 81 |
|
|
|
|
О проекте