Книга | Страницы для поиска |
Келли Дж.Л. - Общая топология | 118 |
Энгелькинг Р. - Общая топология | 91, 92 |
Барвайс Д. - Справочная книга по математической логике. Часть 1: теория моделей | 111 |
Верещагин Н.К., Шень А. - Языки и исчисления | 247 |
Кутателадзе С.С. - Основы функционального анализа | 1.3.9 |
Куратовский К. - Топология (том 1) | 14 |
Постников М.М. - Лекции по геометрии. Семестр III. Гладкие многообразия. | 166 |
Антоневич А.Б., Князев П.Н., Радыно Я.В. - Задачи и упражнения по функциональному анализу | 7 |
Йех Т. - Теория множеств и метод форсинга | 48, 54 |
Кутателадзе С.С. - Основы функционального анализа | 1.3.9 |
Робертсон А.П., Робертсон В.Дж. - Топологические векторные пространства | 88 |
Садовничий В.А. - Теория операторов | 21 |
Артамонов В.А., Салий В.Н., Скорняков Л.А. - Общая алгебра (том 2) | 249, 309 |
Мальцев А.И. - Алгебраические системы | 19 |
Джонстон П.Т. - Теория топосов | 341 |
Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей | 14 |
Копытов В.М. - Решеточно упорядоченные группы | 110 |
Копытов В.М., Медведев Н.Я. - Правоупорядоченные группы | 180 |
Степанов С.А. - Арифметика алгебраических кривых | 245 |
Кон П. - Универсальная алгебра | 212 |
Марченков С.С. - Функциональные системы с операцией суперпозиции | 64 |
Гончаров С.С. - Счетные булевы алгебры и разрешимость | 31 |
Робинсон А. - Введение в теорию моделей и мета-математику алгебры | 317 |
Александрян Р.А., Мирзаханян Е.А. - Общая топология | 103 |
Супруненко Д.А. - Группы матриц | 133 |
Херстейн И. - Некоммутативные кольца | 171 |
Данфорд Н., Шварц Дж.Т. - Линейные операторы (том 1) Общая теория. | I.7.10 (42) |
Бурбаки Н. - Общая топология. Выпуск 3 | Р 2 7 |
Виноградов И.М. - Математическая энциклопедия. Предметный указатель | V-495, 615 |
Пуаза Б. - Курс теории моделей | 4.a, 8.11, 20.d |
Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов | 22, 98 |
Бурбаки Н. - Общая топология. Основные структуры | I 6 4 |
Покровский В.И. (ред.) - Малая медицинская энциклопедия (Том 6) | 6-119/1 |
Садовничий В.А. - Теория операторов | 18 |
Супруненко Д.А. - Группы матриц | 133 |
Плоткин Б.И. - Группы автоморфизмов алгебраических систем | 69 |
Шефер Х. - Топологические векторные пространства | 12 |
Ламбек И. - Кольца и модули | 55 |
Акилов Г.П., Дятлов В.Н., Решетняк Ю.Г. (ред.) - Основы математического анализа | 116 |
Робинсон А. - Введение в теорию моделей и математическую логику | 317 |
Кусраев А.Г., Кутателадзе С.С. - Нестандартные методы анализа | I.4.1.11, II.1.2.2(2) |
Партхасаратхи Т., Рагхаван Т. - Некоторые вопросы теории игры двух лиц | 16 |
Акилов Г.П., Кутателадзе С.С., Булавский В.А. (ред.) - Упорядоченные векторные пространства | 45 |
Кейслер Г., Чэн Ч.Ч. - Теория моделей | 63 |
Плоткин Б.И. - Универсальная алгебра, алгебраическая логика и базы данных | 134 |
Носко В.П. (ред.), Максимов В.М (ред.) - Случайные множества и интегральная геометрия | 266 |
Верещагин Н.К., Шень А. - Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 244 |