Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Быстрый переход
По названию:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
По автору:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Ё А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
blank
Все ресурсы
Сортировка:

ID asc desc pic Авторы asc desc Название asc desc Год asc desc Доп.
1332 Овчинкин Лекции по линейной алгебре 2003••
1333 Жилин П.А. Векторы и тензоры второго ранга в трехмерном пространстве 1992••
1334 Аносов Д.В. Лекции по линейной алгебре 1999••
1335 Гельфанд И.М. Лекции по линейной алгебре 1998 •••
1336 Поздеев А.А., Трусов П.В., Няшин Ю.И. Большие упругопластические деформации: теория, алгоритмы, приложения 1986••
1337 Шилов Г.Е. Математический анализ (конечномерные линейные пространства) 1969••
1338 Серр Ж.-П. Когомологии Галуа 1968••
1339 Проскуряков И.В. Сборник задач по линейной алгебре 1966 •••
1340 Vergne M. Geometric quantization and equivariant cohomology n/a••
1341 Мостовский А. Конструктивные множества и их приложения 1973••
1342 Стренг Г. Линейная алгебра и ее применения 1980••
1344 Meyer C.D. Matrix analysis and applied linear algebra 2000••
1345 Van Oystaeyen F. Algebraic geometry for associative algebras 2000••
1346 Кузьмин О.В. Обобщенные пирамиды Паскаля и их приложения 2000••
1347 Ritt J.F. Differential algebra 1950••
1348 Кассель К. Квантовые группы 1999••
1349 Каш Ф. Модули и кольца 1981••
1350 Гротендик А. О некоторых вопросах гомологической алгебры 1961••
1351 Гантмахер Ф.Р. Теория матриц 1967 •••
1352 Гротендик А., Дьёдонне Ж. Элементы алгебраической геометрии 1972••
1353 Апатенок Р.Ф. Элементы линейной алгебры 1977••
1354 Каргаполов М.И., Мерзляков Ю.И. Основы теории групп 1982 •••
1356 Turchin V.F. A constructive interpretation of the full set theory 1987••
1357 Тарский А. Введение в логику и методологию дедуктивных наук 1948••
1359 Robinson A. Complete theories 1977 •••
1360 Rips J.L. The psychology of proof: deductive reasoning in human thinking 1994••
1361 Ракитов А.И. Курс лекций по логике науки 1971••
1362 Перетятькин М.Г. Конечно аксиоматизируемые теории 1997••
1363 Никитин В.В. Сборник логических упражнений 1970••
1364 Молодший В.Н. Очерки по вопросам обоснования математики 1958••
1366 McCall R.J. Basic logic 1952 •••
1367 Кондаков Н.И. Введение в логику 1967••
1368 Беркли Э. Символическая логика и разумные машины 1961••
1369 Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств 1979••
1370 Никольская И.Л. Математическая логика 1981••
1371 Ершов Ю.Л. Определимость и вычислимость 1996••
1372 Таванец П.В. Проблемы логики 1963••
1373 Гильберт Д., Аккерман В. Основы теоретической логики 1947••
1376 Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций 1978••
1377 Бродский И.Н. Отрицательные высказывания 1973••
1378 Чупахин И.Я., Бродский И.Н. Формальная логика 1977••
1379 Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic 1984••
1380 Фейс Р. Модальная логика 1974••
1381 Френкель А.А., Бар-Хиллел И. Основания теории множеств 1966••
1382 Гильберт Д., Бернайс П. Основания математики. Теория доказательств. 1982••
1383 Гиндикин С.Г. Алгебра логики в задачах 1972••
1384 Горский Д.П., Таванц П.В. Логика 1956••
1385 Карри Х.Б. Основания математической логики 1969••
1387 Kneebone G.T. Mathematical Logic and the Foundation of Mathematics 1963••
1388 Steen S.W.P. Mathematical Logic with Special Reference to the Natural Numbers 1972••
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте