Учебные материалы данного университета в электронном виде. Их там немного, но иногда лучше начать с классики, а потом переходить на нечто более узкое.

Имеются в наличии для скачивания электронные книги:

Вертинская Н.Д.
Математическое моделирование многофакторных и многопараметрических процессов в многокомпонентных системах на базе конструктивной геометрии/ Лекции. — Иркутск: Изд-во ИрГТУ, 2009. — Ч. 1. — 230 с.

Треногин В. А., Писаревский В. М., Соболева Т. С.
Задачи в упражнения по функциональному анализу . — М.: Наука. Главная редакция физико-математической литературы, 1984. — 256 с.

Треногин В. А.
Функциональный анализ . — М.: Наука. Главная редакция физико-математической литературы, 1980. — 496 с.

Рисс Ф. и Сёкефальви-Надь Б.
Лекции по функциональному анализу / Перевод с французского Д. А. Василькова; под ред. С. В. Фомина. — Издание второе, переработанное и дополненное С. А. Теляковский. — М.: Издательство «Мир», 1979. — 580 с.

Вайнберг М. М.
Функциональный анализ : Спец. курс. Учеб. пособие для студентов физ.-мат. фак. пед. ин-тов. — М.: Просвещение, 1979. — 128 с.

Колмогоров А. Н., Фомин С. В.
Элементы теории функций и функционального анализа . — М.: Главная редакция физико-математической литературы изд-ва «Наука», 1976. C. 544.

Натансон И. П.
Теория функций вещественной переменной . — М.: Главная редакция физико-математической литературы изд-ва «Наука», 1974. — 480 с.

Халмош П.
Гильбертово пространство в задачах / Перевод с английского И. Д. Новикова и Т. В. Соколовской; под ред. Р. А. Минлоса. — М.: Издательство «Мир», 1970. — 352 с.

Иосида К.
Функциональный анализ / Перевод с английского В. М. Волосова. — М.: Издательство «Мир», 1967. — 616 с.

Гельфанд Я. М., Фомин С. В.
Вариационное исчисление . — М.: Государственное издательство физико-математической литературы, 1961. — 228 с.

Халмош П.
Теория меры / Перевод с английского Д. А. Василькова; под ред. С. В. Фомина. — М.: Издательство иностранной литературы, 1953. — 282 с.

Курант Р., Гильберт Д.
Методы математической физики. Т.2. — М.-Л.: ГТТИ, 1945. — 620 с.

Курант Р., Гильберт Д.
Методы математической физики. Т.1. — М.-Л.: ГТТИ, 1933. — 525 с.

Литература

Учебники и другие книги по математике

• Элементарная и популярная математика
• Общие и специальные справочники и энциклопедии по математике
• Аналитическая геометрия и векторная алгебра
• Алгебра
• Математический анализ, функциональный анализ
• Обыкновенные дифференциальные уравнения
• Математическая физика, уравнения с частными производными
• Асимптотические методы и разложения
• Интегральные уравнения, интегральные преобразования
• Функции комплексной переменной
• Дифференциальная геометрия и тензорный анализ
• Вариационное исчисление
• Численные методы
• Теория вероятностей и математическая статистика
• Специальные функции
• Линейные и нелинейные операторы
• Теория чисел
• Математическая логика
• Алгебраические многообразия и топология
• Другие книги по математике

• Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963
• Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961
• Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976
• Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973
• Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963
• Владимиров Д.А. Булевы алгебры. М.: Наука, 1969
• Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 
• Гейтинг А. Интуиционизм. М.: Мир, 1965 
• Генкин Л. О математической индукции. М.: ГИФМЛ, 1962
• Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947
• Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 
• Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956
• Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969
• Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961
• Ершов Ю.Л. Теория нумераций. М.: Наука, 1977
• Зиновьев А.А. Логическая физика. М.: Наука, 1972 
• Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967
• Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964
• Карри Х.Б. Основания математической логики. М.: Мир, 1969 
• Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971
• Клини С. Введение в метаматематику. М.: Иностр. литература, 1957
• Клини С. Математическая логика. М.: Мир, 1973
• Кондаков Н.И. Введение в логику. М.: Наука, 1967
• Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977
• Кузичев А.С. Диаграммы Венна. М.: Наука, 1968
• Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967
• Линдон Р. Заметки по логике. М.: Мир, 1968
• Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959
• Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974
• Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974
• Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975
• Мельников Г.П. Азбука математической логики. М.: Знание, 1967
• Мендельсон Э. Введение в математическую логику. М.: Наука, 1971
• Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967
• Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958
• Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970
• Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973
• Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977
• Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968
• Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959
• Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971
• Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972
• Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976
• Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970
• Сикорский Р. Булевы алгебры. М.: Мир, 1969 
• Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965
• Стяжкин Н.И. Формирование математической логики М.: Наука, 1967
• Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965
• Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 
• Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968
• Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963
• Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962
• Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948
• Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967
• Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960
• Фрейденталь X. Язык логики. М.: Наука, 1969
• Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966
• Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963
• Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960
• Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977
• Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955
• Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973
• Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977
• Шенфилд Дж. Математическая логика. М.: Наука, 1975
• Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971
• Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 
• Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966

В ней нельзя ничего скачать. Почему же я туда хожу и часто? Из-за этого:

http://lib.mexmat.ru/indsearch.php

Поиск по индексам. Ищем, в какой книге это есть, и скачиваем на другом сайте.