
|
 


 




|

|

10. Специальное хранение
- Адамс Дж. Лекции
по группам Ли [Наука, 1979] (djvu,152 p.,2242K,300dpi,L,ru,T)
- Айзерман М.А., и др. Логика.
Автоматы. Алгоритмы [ФМЛ, 1963] (djvu,558 p.,6592K,300dpi,L,ru,T)
- Акивис М.А., Гольдберг В.В. Тензорное
исчисление [Наука, 1969] (djvu,352 p.,3286K,300dpi,ru,T)
- Александров П.С. Курс
аналитической геометрии и линейной алгебры [Наука, 1979] (djvu,512 p.,8623K,300dpi,L,ru,T)
- Александров П.С. Лекции
по аналитической геометрии [Наука, 1968] (djvu,912 p.,10685K,300dpi,ru,T)
- Аносов. Курс
линейная алгебра (ИУМ) (ps.gz,105 p.,308K,ru)
- Апатенок Р.Ф. (ред.) Элементы
линейной алгебры [Минск, 1977] (djvu,257 p.,1991K,300dpi,ru,T)
- Арнольд, Гивенталь. Симплектическая
геометрия (pdf,169 p.,7691K,ru)
- Арнольд, Гивенталь. Симплектическая
геометрия (djvu,169 p.,1429K,300dpi,ru,T)
- Бальдассарри М. Алгебраические
многообразия [ИЛ, 1961] (djvu,314 p.,3280K,300dpi,ru,T,K)
- Барут А., Р.Рончка. Том
1. ТЕОРИЯ ПРЕДСТАВЛЕНИЙ ГРУПП И ЕЕ ПРИЛОЖЕНИЯ. [Мир, 1980]
(djvu,452 p.,5076K,300dpi,ru,T,C)
- Барут А., Р.Рончка. Том
2. ТЕОРИЯ ПРЕДСТАВЛЕНИЙ ГРУПП И ЕЕ ПРИЛОЖЕНИЯ. (djvu,393 p.,4016K,300dpi,ru,T,C)
- Бэр Р. Линейная
алгебра и проективная геометрия [ИЛ, 1955] (djvu,399 p.,6082K,300dpi,ru,T,K)
- Беклемишев Д.В. Аналитическая
геометрия и линейная алгебра (djvu,318 p.,5513K,300dpi,ru,T)
- Беклемишев Д.В. Дополнительные
главы линейной алгебры (djvu,337 p.,5404K,300dpi,ru,T)
- Беллман. Введение
в теорию матриц (djvu,375 p.,4659K,300dpi,ru,T)
- Беляев Н.М. Сборник
задач по сопротивлению материалов [Наука, 1968] (djvu,349 p.,5996K,300dpi,ru,T)
- Беркли А. Символическая
логика и разумные машины [1961] (djvu,260 p.,2029K,300dpi,ru,T,K)
- Беркли Э. (Berkeley)
Символическая логика и разумные машины [ИЛ, 1961] (djvu,264 p.,2406K,300dpi,L,ru,T)
- Биргер И.А., Иосилевич Г.Б. Резьбовые
и фланцевые соединения [Машиностроение, 1990] (djvu,367 p.,12834K,600dpi,ru,T)
- Бирман, Суслина, Фаддеев. Линейная
алгебра, семестр 2 [методичка СПбГУ, 1999] (djvu,48 p.,507K,300dpi,L,ru,T)
- Бирман, Суслина. Линейная
алгебра, семестр 1 [методичка СПбГУ, 1999] (djvu,40 p.,400K,300dpi,L,ru,T)
- Браун К.С. Когомологии
групп [Наука, 1987] (djvu,384 p.,6097K,300dpi,ru,T)
- Бреннан Р. Словарь
научной грамотности [Мир, 1997] (djvu,362 p.,4215K,300dpi,ru,T)
- Бродский И.Н. Отрицательние
высказывания [Издательство Ленинградского университета имени
Жданова, 1973] (djvu,104 p.,1381K,300dpi,ru,T,K)
- Бугров, Никольский. Элементы
линейной алгебры и аналитической геометрии [Наука, 1980] (djvu,176 p.,2399K,300dpi,ru,T)
- Букур И., Деляну А. Введение
в теорию категорий [Мир, 1972] (djvu,258 p.,2854K,300dpi,L,ru,T)
- Булдырев, Павлов. Линейная
алгебра и функции многих переменных (djvu,498 p.,6534K,300dpi,ru,T)
- Булос Дж., Джеффри Р. (G.S.Boolos,R.C.Jeffrey)
Вычислимость
и логика [Мир, 1994] (djvu,396 p.,10043K,300dpi,L,ru,T)
- Цаленко М., Шульгейфер Е. Основы
теории категорий [Наука, 1974] (djvu,258 p.,2142K,300dpi,L,ru,T)
- Calenko M., Shul'gejfer E. Kategorii
[Itogi VINITI. Algebra, topologija, geometrija 1967, 1969] (djvu,58 p.,658K,300dpi,L,en,T)
- Чупахин И.Я., и др. Формальная
логика [Издательство Ленинградского университета имени Жданова,
1977] (djvu,357 p.,3861K,300dpi,ru,T,K)
- Чёрч А. Введение
в математическую логику, том 1 [1960] (djvu,484 p.,5235K,300dpi,L,ru,T)
- Цубербиллер О.Н. Задачи
и упражнения по аналитической геометрии(плохое качество) [СПб.,
2003] (djvu,334 p.,6059K,300dpi,L,ru,T,C)
- Дьедонне Ж. (Dieudonne)
Линейная алгебра и элементарная геометрия [Наука 1972] (djvu,336 p.,5474K,300dpi,ru,T)
- Демидов Е. Квантовые
группы (djvu,128 p.,1191K,300dpi,ru,T)
- Диментберг Ф.М. Винтовое
исчисление и его приложения в механике [Наука, 1965] (djvu,199 p.,1592K,300dpi,ru,T)
- Драгалин. Математический
интуиционизм. Введение в теорию доказательств [Наука,
1979] (djvu,256 p.,3339K,300dpi,L,ru,T)
- Дубровин Б.А. Тэта
-функции и нелинейные уравнения [УМН 1981] (djvu,72 p.,1095K,300dpi,L,ru,T)
- Джонстон П.Т. (Johnstone)
Теория топосов [Наука, 1986] (djvu,440 p.,4178K,300dpi,L,ru,T)
- Эдельман С.Л. Математическая
логика [ВШ, 1975] (djvu,176 p.,1520K,300dpi,ru,T,K)
- Ефимов Н.В. КРАТКИЙ
КУРС АНАЛИТИЧЕСКОЙ ГЕОМЕТРИИ (djvu,267 p.,2780K,300dpi,ru,T,C)
- Ефимов Н.В., Э.Р.Розендорн. ЛИНЕЙНАЯ
АЛГЕБРА И МНОГОМЕРНАЯ ГЕОМЕТРИЯ (djvu,526 p.,4735K,300dpi,ru,T,C)
- Ершов Ю.Л. Кратно
нормированные поля [Новосибирск, 2000] (djvu,340 p.,3692K,300dpi,ru,T)
- Ершов Ю.Л. Определимость
и вычислимость [Новосибирск, 1996] (djvu,296 p.,2269K,300dpi,L,ru,T)
- Ершов Ю.Л. Теория
нумераций [Наука, 1977] (djvu,416 p.,3468K,300dpi,L,ru,T)
- Ершов Ю.Л., Палютин Е.А. Математическая
логика [2е изд., Наука, 1987] (djvu,336 p.,4292K,200dpi,ru,T)
- Фейс Р. Модальная
логика [Наука, 1974] (djvu,518 p.,6155K,300dpi,ru,T)
- Фейт У. Теория
представлений конечных групп (djvu,465 p.,6798K,300dpi,ru,T)
- Фреге Г. Основоположения
арифметики [2000] (pdf,64 p.,792K,ru)
- Фрейденталь Х. Язык
логики [Наука, 1969] (djvu,136 p.,1023K,300dpi,ru,T,K)
- Фрейденталь Х. Язык
логики [Наука, 1969] (djvu,138 p.,1165K,300dpi,L,ru,T)
- Френкель А.А., Бар-Хиллел И. (Fraenkel,Bar-Hillel)
Основания
теории множеств [Мир, 1966] (djvu,555 p.,7452K,300dpi,ru,T,K)
- Фукс Д. Когомологии
бесконечномерных алгебр Ли [Наука, 1984] (djvu,262 p.,3085K,300dpi,L,ru,T)
- Гантмахер Ф.Р. ТЕОРИЯ
МАТРИЦ (djvu,576 p.,7680K,300dpi,ru,T)
- Гарди Г. (Hardy)
Интегрирование элементарных функций [1935] (djvu,84 p.,871K,300dpi,ru,T)
- Гельфанд С.И., Манин Ю.И. Том
1. Методы гомологической алгебры. Введение в когомологии и производные
категории [Наука, 1988] (djvu,418 p.,6527K,
300dpi,L, ru,T)
- Гельфанд И.М. Лекции
по линейной алгебре (djvu,267 p.,2647K,300dpi,ru,T,C)
- Гельфанд. Линейная
алгебра [5 изд., МЦНМО, 1998] (ps.gz,320 p.,599K,ru)
- Гильберт Д., Бернайс П. Основания
математики. Логические исчисления и формализация арифметики [Наука,
1979] (djvu,556 p.,5154K,300dpi,L,ru,T)
- Гильберт Д., Бернайс П. Основания
математики. Теория доказательств [Наука, 1982] (djvu,652 p.,7205K,300dpi,L,ru,T)
- Гильберт, Аккерман. Основы
теоретической логики [ИЛ, 1947] (djvu,154 p.,3434K,300dpi,ru,T)
- Гиндикин С.Г. Алгебра
логики в задачах [Наука 1972] (djvu,290 p.,4573K,300dpi,L,ru,T)
- Гиндикин С.Г. Алгебра
логики в задачах [Наука, 1972] (djvu,288 p.,3932K,300dpi,ru,T,K)
- Глазман И.М., Любич Ю.И. Конечномерный
линейный анализ в задачах [Наука, 1969] (djvu,477 p.,3850K,300dpi,ru,T)
- Гохман, Спивак, Розен, и др. Сборник
задач по математической логике и алгебре множеств [Саратов,
1969] (djvu,92 p.,1011K,300dpi,L,ru,T)
- Голдблатт Р. Топосы.
Категорный анализ логики [Мир 1983] (djvu,487 p.,5853K,400dpi,ru,T,K)
- Голод П.И., А.У.Климык. МАТЕМАТИЧЕСКИЕ
ОСНОВЫ ТЕОРИИ СИММЕТРИИ (djvu,528 p.,4404K,300dpi,ru,T,C)
- Гончаров С.С. Счетные
булевы алгебры и разрешимость [Новосибирск, 1996] (djvu,373 p.,3657K,300dpi,ru,T)
- Горбунов В.А. Алгебраическая
теория квазимногообразий [Новосибирск, 1999] (djvu,378 p.,4483K,300dpi,L,ru,T)
- Горский Д.П., и др. Логика
[Первая образцовая типография имени Жданова, 1955] (djvu,279 p.,2980K,300dpi,ru,T,K)
- Горский, Таванец. (ред.) Логика
[Институт философии АН СССР, 1956] (djvu,282 p.,3682K,300dpi,L,ru,T)
- Гриффитс Ф., Кинг Дж. (P.Griffiths,J.King)
Теория
Неванлинны и голоморфные отображения алгебраических многообразий
[Математика НЗН 1, Мир, 1976] (djvu,102 p.,1064K,300dpi,L,ru,T)
- Гриффитс, Харрис. Принципы
алгебраической геометрии, том 1 [Мир, 1982] (djvu,518 p.,6280K,300dpi,L,ru,T)
- Гриффитс, Харрис. Принципы
алгебраической геометрии, том 2 [Мир, 1982] (djvu,376 p.,4314K,300dpi,L,ru,T)
- Громов М. Гиперболические
группы [РХД, 2002] (djvu,160 p.,1503K,300dpi,ru,T)
- Гротендик А., Дьёдонне Ж. (Grothendieck,Dieudonne)
Элементы
алгебраической геометрии (ЕГА введение) [УМН 164,
1972] (djvu,15 p.,252K,300dpi,ru,T)
- Гротендик А. О
некоторых вопросах гомологической алгебры [ИЛ, 1961] (djvu,174 p.,1529K,300dpi,L,ru,T)
- Гудстейн Р.Л. Рекурсивный
математический анализ [Наука, 1970] (djvu,472 p.,3435K,300dpi,L,ru,T)
- Халмош П. Конечномерные
векторные пространства [ФМЛ, 1963] (djvu,264 p.,2798K,300dpi,ru,T)
- Хартсхорн. Алгебраическая
геометрия [Мир, 1981] (djvu,614 p.,7873K,300dpi,L,ru,T)
- Хирцебрух Ф. Топологические
методы в алгебраической геометрии [Мир, 1973] (djvu,290 p.,3371K,300dpi,L,ru,T)
- Ходж В., Пидо Д. (W.V.D.Hodge, D.Pedoe)
Том
1. Методы алгебраической геометрии [ИЛ, 1954] (djvu,462 p.,4763K,300dpi,ru,T,K)
- Ходж В., Пидо Д. (W.V.D.Hodge, D.Pedoe)
Том
2. Методы алгебраической геометрии [ИЛ, 1954] (djvu,429 p.,4970K,300dpi,ru,T,K)
- Ходж В., Пидо Д. (W.V.D.Hodge, D.Pedoe)
Том
3. Методы алгебраической геометрии [ИЛ, 1955] (djvu,374 p.,4277K,300dpi,ru,T,K)
- Хорн, Джонсон. Матричный
анализ (djvu,666 p.,9699K,300dpi,ru,T)
- Ильин В.А., Позняк Я.Г. Аналитическая
геометрия [5е изд., Наука, 1999] (djvu,223 p.,2301K,300dpi,ru,T,K)
- Ильин, Позняк. Линейная
алгебра [4е изд., Наука, 1999] (djvu,297 p.,4275K,300dpi,ru,T)
- Ивасава К. Локальная
теория полей классов [Мир, 1983] (djvu,180 p.,2683K,300dpi,ru,T,C)
- Яновская С.А., и др. Проблемы
логики [1963] (djvu,152 p.,1267K,300dpi,ru,T,K)
- Кац М., Улам С. Математика
и логика: ретроспектива и перспективы [Мир, 1971] (djvu,252 p.,2831K,300dpi,ru,T)
- Калужнин Л.А. Что
такое математическая логика [Наука, 1964] (djvu,152 p.,1349K,300dpi,ru,T,K)
- Каплански И. Введение
в дифференциальную алгебру [ИЛ, 1959] (djvu,84 p.,991K,300dpi,L,ru,T)
- Карри Х.Б. Основания
математической логики [Мир, 1969] (djvu,566 p.,6175K,300dpi,ru,T,K)
- Картан А., Эйленберг С. Гомологическая
алгебра [ИЛ, 1960] (djvu,508 p.,6386K,300dpi,ru,T,K)
- Касивара, Шапира. Пучки
на многообразиях [Мир, 1997] (djvu,656 p.,8511K,300dpi,L,ru,T)
- Кассель. Квантовые
группы (djvu,698 p.,5410K,300dpi,ru,T)
- Кассел К., М.Россо, В.Тураев. Квантовые
группы и инварианты узлов (djvu,140 p.,864K,300dpi,ru,T)
- Казанова Г. Векторная
алгебра (геометрическая алгебра) [Мир, 1979] (djvu,120 p.,1186K,600dpi,ru,T,K)
- (Chen Chung Chang,H.J.Keisler) Кейслер
Г.Дж., Чэн Чень-чунь Теория непрерывных моделей [Мир, 1971]
- Китчев, Федоров, и др. Методологический
анализ оснований математики (обзор) [Наука, 1988] (djvu,178 p.,3245K,300dpi,L,ru,T)
- Клеменс, Коллар, Мори. (H.Clemens,J.Collar,S.Mori)
Многомерная
комплексная геометрия [Мир, 1993] (djvu,332 p.,2696K,300dpi,L,ru,T)
- Клеменс. Мозаика
теории комплексных кривых [Мир, 1984] (djvu,162 p.,1812K,300dpi,L,ru,T)
- Клини С. (S.C.Kleene)
Введение в метаматематику [ИЛ, 1957] (djvu,524 p.,9546K,300dpi,ru,T)
- Клини С.К. Математическая
логика [Мир, 1973] (djvu,480 p.,6241K,300dpi,L,ru,T)
- Клини, Весли. Основания
интуиционистской математики, рекурсивные функции [Наука,
1978] (djvu,136 p.,3071K,300dpi,ru,T)
- Кокс, Литтл, О-Ши. Идеалы,
многообразия и алгоритмы [Мир, 2000] (djvu,670 p.,7312K,300dpi,L,ru,T)
- Колмогоров А.Н., Драгалин А.Г. Введение
в математическую логику [1962] (djvu,120 p.,1249K,300dpi,ru,T,K)
- Колмогоров, Драгалин. Математическая
логика. Дополнительные главы [МГУ, 1984] (djvu,61 p.,1812K,300dpi,ru,T)
- Кондаков Н.И. Введение
в логику [Наука, 1967] (djvu,467 p.,6961K,300dpi,ru,T,K)
- Крайзель Г. (Kreisel)
Исследования по теории доказательств [НЗН-Математика 23, Мир,
1981] (djvu,288 p.,2919K,300dpi,L,ru,T)
- Кулик Б.А. Логика
естественных рассуждений [2001] (djvu,128 p.,1532K,300dpi,L,ru,T)
- Кутасов А.Д. Элементы
математической логики [Просвещение 1977] (djvu,63 p.,828K,300dpi,ru,T,K)
- Лакатос И. Доказательства
и опровержения: как доказываются теоремы [Наука, 1967] (djvu,153 p.,1858K,300dpi,ru,T)
- Ланкастер П. Теория
матриц [Наука, 1973] (djvu,282 p.,3318K,300dpi,ru,T)
- Латышев В.Н. Комбинаторная
теория колец. Стандартные базисы [МГУ, 1988] (djvu,68 p.,1354K,300dpi,ru,T)
- Лекции
по аналитической геометрии (МГУ) 1 (djvu,118 p.,667K,300dpi,ru,T)
- Ленг С. Основы
диофантовой геометрии [Мир, 1986] (djvu,468 p.,4790K,300dpi,L,ru,T)
- Ленг С. SL2(Р)
[Мир, 1972] (djvu,446 p.,4574K,300dpi,L,ru,T)
- Ленг С. Введение
в алгебраические и абелевы функции [Мир, 1975] (djvu,144 p.,2744K,300dpi,L,ru,T)
- Линдон Р. (Lyndon)
Заметки по логике [Мир, 1968] (djvu,128 p.,1283K,300dpi,ru,T)
- Маёров В., Скопец З. Задачник-практикум
по векторной алгебре [Учпедгиз 1961] (djvu,152 p.,3632K,600dpi,ru,T)
- Маклейн С. Гомология
[Мир, 1966] (djvu,544 p.,6059K,300dpi,L,ru,T)
- Мальцев. Основы
линейной алгебры (djvu,402 p.,5395K,300dpi,ru,T)
- Мальцев. Алгебраические
системы [Наука, 1970] (djvu,394 p.,5076K,300dpi,L,ru,T)
- Мальгранж Б. Идеалы
дифференцируемых функций [Мир, 1968] (djvu,129 p.,1242K,300dpi,ru,T,K)
- Мамфорд Д. (Mumford)
Алгебраическая геометрия 1. Комплексные проективные многообразия [Мир,
1979] (djvu,255 p.,2983K,300dpi,ru,T)
- Мамфорд Д. Лекции
о кривых на алгебраической поверхности [Мир, 1968] (djvu,235 p.,2147K,300dpi,ru,T)
- Манин Ю. Лекции
по алгебраической геометрии 2. К-функтор в алгебраической геометрии
[МГУ, 1971] (djvu,94 p.,1398K,300dpi,L,ru,T)
- Манин Ю.И. (ред.) Ходжевы
циклы и мотивы: сборник статей [Математика НЗН 37, Мир,
1985] (djvu,262 p.,4174K,300dpi,ru,T)
- Манин Ю.И. Кубические
формы: алгебра, геометрия, арифметика [Наука, 1972] (djvu,304 p.,2938K,300dpi,ru,T)
- Манин. Доказуемое
и недоказуемое [1979] (djvu,176 p.,2392K,300dpi,L,ru,T)
- Марченков С.С. Замкнутые
классы булевых функций [ФМЛ, 2000] (djvu,128 p.,1961K,300dpi,ru,T)
- Марков А.А. Элементы
математической логики [МГУ, 1984] (djvu,80 p.,945K,300dpi,ru,T)
- Мартин-Леф П. Очерки
по конструктивной математике [Мир 1975] (djvu,136 p.,1140K,300dpi,L,ru,T)
- Мельников Г.П. Азбука
математической логики [Знание, 1967] (djvu,104 p.,1835K,300dpi,ru,T,K)
- Мельников Г.П. Азбука
математической логики [Знание, 1967] (djvu,106 p.,1957K,300dpi,L,ru,T)
- Мендельсон Э. Введение
в математическую логику [Наука, 1971] (djvu,322 p.,3677K,300dpi,L,ru,T)
- Михалев, Панкратьев. Компьютерная
алгебра. Вычисления в дифференциальной и разностной алгебре [МГУ,
1989] (djvu,96 p.,1821K,150dpi,ru,T)
- Милн Дж. (J.S.Milne)
Этальные когомологии [Мир, 1983] (djvu,392 p.,7299K,300dpi,L,ru,T)
- Милнор Д., Хьюзмоллер Д. Симметрические
билинейные формы [Наука, 1986] (djvu,176 p.,2043K,300dpi,ru,T,K)
- Молодший В.Н. Очерки
по вопросам обоснования математики. Пособие для учителей [1958] (djvu,232 p.,3644K,300dpi,L,ru,T)
- Мошер Р., Тангора М. Когомологические
операции и их приложения в теории гомотопий [Мир, 1970] (djvu,287 p.,3426K,300dpi,ru,T)
- Никитин В.В. Сборник
логических уравнений [Просвещение 1970] (djvu,96 p.,1222K,300dpi,ru,T,K)
- Никольская И.Л. Математическая
логика [ВШ, 1981] (djvu,128 p.,1188K,300dpi,ru,T,K)
- Новиков П.С. Конструктивная
математическая логика с точки зрения классической [1977] (djvu,330 p.,5083K,300dpi,L,ru,T)
- Оконек, Шнайдер, Шпиндлер
(_Оконек,Счнеидер,Спиндлер_). Векторные
расслоения на комплексных проективных пространствах [Мир,
1984] (djvu,320 p.,5059K,300dpi,L,ru,T)
- Пензов У.Е. Элементы
математической логики и теории множеств [1968] (djvu,143 p.,1550K,300dpi,ru,T,K)
- Перетятькин М.Г. Конечно
аксиоматизируемые теории [Новосибирск, 1997] (djvu,327 p.,2797K,300dpi,ru,T)
- Петер Р. Игра
с бесконечностью [Просвещение, 1967] (djvu,271 p.,2388K,300dpi,ru,T,K)
- Попов А.И. Введение
в математическую логику [Издательство Ленинградского
университета имени Жданова, 1959] (djvu,109 p.,1366K,300dpi,ru,T,K)
- Попович М.В., Крымский С.Б., Ишмуратов А.Т., и
др. Доказательство
и понимание [Наукова думка, 1986] (djvu,312 p.,2689K,300dpi,ru,T,K)
- Попович и др. (ред.) Доказательство
и понимание [Институт философии АН СССР, Киев, 1986] (djvu,314 p.,3264K,300dpi,L,ru,T)
- Постников М. Лекции
по геометрии. Семестр 2: Линейная алгебра [Наука 1986] (djvu,400 p.,4409K,300dpi,ru,T,K)
- Постников М.М. Аналитическая
геометрия [Наука, 1973] (djvu,754 p.,8994K,300dpi,ru,T)
- Постников М.М. Лекции
по геометрии. Семестр 1. Аналитическая геометрия [1979] (djvu,336 p.,3690K,300dpi,ru,T)
- Проскуряков И.В. СБОРНИК
ЗАДАЧ ПО ЛИНЕЙНОЙ АЛГЕБРЕ (djvu,381 p.,3704K,300dpi,ru,T,C)
- Ракитов А.И. Курс
лекций по логике науки [ВШ, 1971] (djvu,176 p.,1398K,300dpi,ru,T,K)
- Рид М. (M.Reid)
Алгебраическая геометрия для всех [Мир, 1991] (djvu,144 p.,1646K,300dpi,L,ru,T)
- Робинсон А. Введение
в теорию моделей и метаматематику алгебры [Наука, 1967] (djvu,189 p.,3116K, 300dpi, ru,T)
- Сакс Дж.Е. (G.E.Sacks)
Теория насыщенных моделей [Мир, 1976] (djvu,192 p.,2248K,300dpi,ru,T)
- Сарнак П. Модулярные
формы и их приложения [1998] (djvu,148 p.,2727K,300dpi,ru,T,K)
- Сборник
задач по математической логике и алгебре множеств [2-е издание,
1969] (djvu,91 p.,818K,300dpi,ru,T,K)
- Серебрянников О.Ф. Эвристические
принципы и логические исчисления [Наука, 1970] (djvu,283 p.,2251K,300dpi, ru, T,K)
- Серр Ж.-П. Алгебраические
группы и поля классов (djvu,288 p.,3136K,300dpi,ru,T)
- Серр Ж.-П. (J.-P. Serre)
Когомологии Галуа [Мир, 1968] (djvu,103 p.,2114K,300dpi,ru,T)
- Шафаревич И. Основы
алгебраической геометрии. Том 1. Алгебраические многообразия в
проективном пространстве [2е изд., Наука 1988] (djvu,366 p.,4613K,300dpi,L,ru,T)
- Шафаревич И.Р. Основы
алгебраической геометрии. Том 2. Схемы, комплексные многообразия [2е
изд., Наука 1988] (djvu,310 p.,4021K,300dpi,L,ru,T)
- Шапиро С.И. От
алгоритмов к суждениям [Советское радио, 1973] (djvu,288 p.,2922K,300dpi,ru,T,K)
- Шенфилд Дж. (J.R.Schoenfield)
Степени неразрешимости [Наука, 1977] (djvu,192 p.,2516K,300dpi,ru,T)
- Шенфилд Дж. (J.Shoenfield)
Математическая логика [Наука, 1975] (djvu,265 p.,5111K,300dpi,ru,T)
- Шилов Г.Е. КОНЕЧНОМЕРНЫЕ
ЛИНЕЙНЫЕ ПРОСТРАНСТВА (djvu,428 p.,7498K,300dpi,ru,T)
- Слупецкий Е., Борковский Л. Элементы
математической логики и теория множеств [Прогресс, 1965] (djvu,368 p.,3172K,300dpi,L,ru,T)
- Смаллиан Р. Теория
формальных систем [Наука, 1981] (djvu,208 p.,3358K,300dpi,L,ru,T)
- Соколов Н.П. Пространственные
матрицы и их приложения [1960] (djvu,299 p.,5988K,300dpi,ru,T)
- Степанов С.А. Арифметика
алгебраических кривых [Наука, 1991] (djvu,368 p.,6933K,300dpi,L,ru,T)
- Стинрод Н., Эпстейн Д. Когомологические
операции [Наука, 1983] (djvu,232 p.,3323K,300dpi,ru,T,K)
- Стяжкин Н.И. Формирование
математической логики [Наука, 1967] (djvu,508 p.,5830K,300dpi,ru,T,K)
- Столяр А.А. Логические
проблемы преподавания математики [ВШ, 1965] (djvu,255 p.,2694K,300dpi,ru,T,K)
- Столяр А.А. Логическое
введение в математику [ВШ, 1971] (djvu,224 p.,1490K,300dpi,ru,T,K)
- Стренг Г. Линейная
алгебра и ее применения [Мир, 1980] (djvu,459 p.,6108K,300dpi,ru,T)
- Стяжкин Н.И. Формирование
математической логики [Наука, 1967] (djvu,510 p.,7170K,300dpi,L,ru,T)
- Такеути Г. Теория
доказательств (djvu,414 p.,4410K,300dpi,L,ru,T)
- Тарский А. Введение
в логику и методологию дедуктивных наук [ИЛ, 1948] (djvu,326 p.,5843K,300dpi,L,ru,T)
- Таванец П.В. (ред.) Философские
вопросы современной формальной логики [Институт философии АН
СССР, 1962] (djvu,366 p.,6156K,300dpi,L,ru,T)
- Таванец П.В. (ред.) Проблемы
логики [Институт философии АН СССР, 1963] (djvu,77 p.,1510K,300dpi,ru,T)
- Таванец П.В., и др. Философские
вопросы современной формальной логики [1962] (djvu,365 p.,5689K,300dpi,ru,T,K)
- Тимофеев А.Ф. Интегрирование
функций [1948] (djvu,436 p.,5820K,300dpi,L,ru,T)
- Умнов А.Е. Аналитическая
геометрия и линейная алгебра [лекции МФТИ, 2004] (djvu,367 p.,2048K,300dpi,ru,T)
- Уокер Р. Алгебраические
кривые [ИЛ, 1952] (djvu,236 p.,3439K,300dpi,ru,T)
- Успенский В.А. Лекции
о вычислимых функциях [ФМЛ, 1960] (djvu,491 p.,5567K,300dpi,ru,T)
- Винокуров, Перязев. (ред.) Избранные
вопросы теории булевых функций [ФМЛ, 2001] (djvu,192 p.,1898K,300dpi,ru,T)
- Харин Н.Н. Математическая
логика и теория множеств [Росвузиздат, 1963] (djvu,192 p.,2435K,300dpi,ru,T,K)
- Жилин П.А. Векторы
и тензоры второго ранга в трехмерном пространсвте (методичка) (djvu,274 p.,1629K,300dpi,ru,T)
- Зиновьев А.А. Логическая
физика [Наука, 1972] (djvu,194 p.,1636K,300dpi,ru,T)
|

|
|