1457 |
|
Huppert B. |
Endliche Gruppen I |
1967 | •• |
1456 |
|
Hilton H. |
Homogeneous linear substitutions |
1914 | •• |
1455 |
|
Manning W.A |
Primitive groups (vol.1) |
1921 | •• |
1454 |
|
Pervin E., Webb J.A. |
Quaternions in computer vision and robotics |
1982 | •• |
1453 |
|
Браун К.С. |
Когомологии групп |
1987 | •• |
1452 |
|
Наймарк М.А. |
Теория представлений групп |
1976 | •• |
1451 |
|
Лидл Р., Нидеррайтер Г. |
Конечные поля (том 1, 2) |
1988 | •• |
1450 |
|
Картан Э. |
Избранные труды |
1998 | •• |
1449 |
|
Артин Э. |
Теория Галуа |
1963 | •• |
1448 |
|
Адамс Дж. |
Лекции по группам Ли |
1979 | •• |
1447 |
|
Цаленко М.С., Шульгейфер Е.Г. |
Категории |
1969 | •• |
1446 |
|
Эдельман С.Л. |
Математическая логика |
1975 | •• |
1445 |
|
Мельников Г.П. |
Азбука математической логики |
1967 | •• |
1444 |
|
Серебрянников О.Ф. |
Эвристические принципы и логические исчисления |
1970 | •• |
1443 |
|
Слупецкий Е., Борковский Л. |
Элементы математической логики и теория множеств |
1965 | •• |
1442 |
|
Muir T. |
Theory of determinants, vol. 2. Up to 1841-1860 |
1911 | •• |
1441 |
|
Ginzburg V. |
Lectures on D-modules |
1998 | •• |
1440 |
|
Miranda R. |
Graduate studies in mathematics (vol.5). Algebraic curves and Riemann surfaces |
1995 | •• |
1439 |
|
Haynes T.W., Hedetniemi S.T., Slater P.J. |
Fundamentals of domination in graphs |
1998 | •• |
1438 |
|
Fulton W. |
Intersection theory |
1984 • | •• |
1437 |
|
Натансон И.П. |
Теория функций вещественной переменной |
1974 • | •• |
1436 |
|
Björk J.-E. |
Rings of differential operators |
1979 | •• |
1435 |
|
Abbondandolo A. |
Infinite dimensional Grassmannians |
2003 | •• |
1434 |
|
Levine M. |
Mixed motives |
1998 | •• |
1432 |
|
Шапиро С.И. |
От алгоритмов — к суждениям (Эксперименты по обучению элементам математического мышления) |
1973 | •• |
1431 |
|
Стяжкин Н.И. |
Формирование математической логики |
1967 | •• |
1430 |
|
Цаленко М.Ш., Шульгейфер Е.Г. |
Основы теории категорий |
1974 | •• |
1429 |
|
Джонстон П.Т. |
Теория топосов |
1986 | •• |
1428 |
|
Попов А.И. |
Введение в математическую логику |
1959 | •• |
1427 |
|
Такеути Г. |
Теория доказательств |
1978 | •• |
1426 |
|
Смальян Р. |
Теория формальных систем |
1981 | •• |
1425 |
|
Пензов Ю.П. |
Элементы математической логики и теории множеств |
1968 | •• |
1424 |
|
Фейс К. |
Алгебра: кольца, модули и категории (том 2) |
1979 | •• |
1423 |
|
Акивис М.А., Гольдберг В.В. |
Тензорное исчисление |
1969 | •• |
1422 |
|
Новиков П.С. |
Конструктивная математическая логика с точки зрения классической |
1977 | •• |
1421 |
|
Клеменс Х., Коллар Я., Мори С. |
Многомерная комплексная геометрия |
1993 | •• |
1420 |
|
Лакатос И. |
Доказательства и опровержения |
1967 | •• |
1419 |
|
Клини С. |
Математическая логика |
1973 | •• |
1418 |
|
Чёрч А. |
Введение в математическую логику (том 1) |
1960 | •• |
1417 |
|
Гильберт Д., Бернайс П. |
Основания математики. Логические исчисления и формализация арифметики. |
1979 | •• |
1416 |
|
Ефимов Н.В., Розендорн Э.Р. |
Линейная алгебра и многомерная геометрия |
1970 | •• |
1415 |
|
Бурбаки Н. |
Группы и алгебры Ли (часть 3) |
1978 | •• |
1414 |
|
Боровков А.А. |
Теория вероятностей |
1986 • | •• |
1413 |
|
Бирман Л.А., Суслина Т.А. |
Линейная алгебра. Семестр 1. |
1999 | •• |
1412 |
|
Цубербиллер О.Н. |
Задачи и упражнения по аналитической геометрии |
2003 | •• |
1411 |
|
Петер Р. |
Игра с бесконечностью |
1967 | •• |
1410 |
|
Кутасов А.Д. |
Элементы математической логики |
1977 | •• |
1409 |
|
Таванец П.В. |
Философские вопросы современной формальной логики |
1962 | •• |
1408 |
|
Goerss P.G., Jardine J.F. |
Simplicial Homotopy Theory |
1997 | •• |
1407 |
|
Клини С.К. |
Введение в метаматематику |
1957 | •• |