| 1371 |
|
Ершов Ю.Л. |
Определимость и вычислимость |
1996 | •• |
| 1370 |
|
Никольская И.Л. |
Математическая логика |
1981 | •• |
| 1369 |
|
Драгалин А.Г. |
Математический интуиционизм. Введение в теорию доказательств |
1979 | •• |
| 1368 |
|
Беркли Э. |
Символическая логика и разумные машины |
1961 | •• |
| 1367 |
|
Кондаков Н.И. |
Введение в логику |
1967 | •• |
| 1366 |
|
McCall R.J. |
Basic logic |
1952 • | •• |
| 1364 |
|
Молодший В.Н. |
Очерки по вопросам обоснования математики |
1958 | •• |
| 1363 |
|
Никитин В.В. |
Сборник логических упражнений |
1970 | •• |
| 1362 |
|
Перетятькин М.Г. |
Конечно аксиоматизируемые теории |
1997 | •• |
| 1361 |
|
Ракитов А.И. |
Курс лекций по логике науки |
1971 | •• |
| 1360 |
|
Rips J.L. |
The psychology of proof: deductive reasoning in human thinking |
1994 | •• |
| 1359 |
|
Robinson A. |
Complete theories |
1977 • | •• |
| 1357 |
|
Тарский А. |
Введение в логику и методологию дедуктивных наук |
1948 | •• |
| 1356 |
|
Turchin V.F. |
A constructive interpretation of the full set theory |
1987 | •• |
| 1354 |
|
Каргаполов М.И., Мерзляков Ю.И. |
Основы теории групп |
1982 • | •• |
| 1353 |
|
Апатенок Р.Ф. |
Элементы линейной алгебры |
1977 | •• |
| 1352 |
|
Гротендик А., Дьёдонне Ж. |
Элементы алгебраической геометрии |
1972 | •• |
| 1351 |
|
Гантмахер Ф.Р. |
Теория матриц |
1967 • | •• |
| 1350 |
|
Гротендик А. |
О некоторых вопросах гомологической алгебры |
1961 | •• |
| 1349 |
|
Каш Ф. |
Модули и кольца |
1981 | •• |
| 1348 |
|
Кассель К. |
Квантовые группы |
1999 | •• |
| 1347 |
|
Ritt J.F. |
Differential algebra |
1950 | •• |
| 1346 |
|
Кузьмин О.В. |
Обобщенные пирамиды Паскаля и их приложения |
2000 | •• |
| 1345 |
|
Van Oystaeyen F. |
Algebraic geometry for associative algebras |
2000 | •• |
| 1344 |
|
Meyer C.D. |
Matrix analysis and applied linear algebra |
2000 | •• |
| 1343 |
|
Nashed M.Z. |
Generalized inverses and applications |
1976 | •• |
| 1342 |
|
Стренг Г. |
Линейная алгебра и ее применения |
1980 | •• |
| 1341 |
|
Мостовский А. |
Конструктивные множества и их приложения |
1973 | •• |
| 1340 |
|
Vergne M. |
Geometric quantization and equivariant cohomology |
n/a | •• |
| 1339 |
|
Проскуряков И.В. |
Сборник задач по линейной алгебре |
1966 • | •• |
| 1338 |
|
Серр Ж.-П. |
Когомологии Галуа |
1968 | •• |
| 1337 |
|
Шилов Г.Е. |
Математический анализ (конечномерные линейные пространства) |
1969 | •• |
| 1336 |
|
Поздеев А.А., Трусов П.В., Няшин Ю.И. |
Большие упругопластические деформации: теория, алгоритмы, приложения |
1986 | •• |
| 1335 |
|
Гельфанд И.М. |
Лекции по линейной алгебре |
1998 • | •• |
| 1334 |
|
Аносов Д.В. |
Лекции по линейной алгебре |
1999 | •• |
| 1333 |
|
Жилин П.А. |
Векторы и тензоры второго ранга в трехмерном пространстве |
1992 | •• |
| 1332 |
|
Овчинкин |
Лекции по линейной алгебре |
2003 | •• |
| 1330 |
|
Bjorner A. |
Oriented Matroids |
2000 | •• |
| 1329 |
|
Cassels J.W.S. |
Lectures on Elliptic Curves |
1991 | •• |
| 1327 |
|
Ланкастер П. |
Теория матриц |
1973 | •• |
| 1326 |
|
Gerstenhaber M., Schack S. |
Hodge type decomposition for commutative algebra cohomology |
1987 | •• |
| 1325 |
|
Muir T. |
Theory of determinants, vol. 3. 1861-1880 |
1920 | •• |
| 1324 |
|
Muir T. |
Theory of determinants, vol. 1. Up to 1841 |
1906 | •• |
| 1323 |
|
Graham R.L., Grotschel M., Lovasz L. |
Handbook of combinatorics (vol. 2) |
1995 | •• |
| 1322 |
|
Goettsche L. |
The Trieste ICTP School for algebraic geometry |
2000 | •• |
| 1321 |
|
Pareigis B. |
Categories and functors |
1970 | •• |
| 1320 |
|
Ильин В.А., Позняк Э.Г. |
Линейная алгебра |
1999 • | •• |
| 1319 |
|
Vein R., Dale P. |
Determinants and their applications in mathematical physics |
1998 | •• |
| 1318 |
|
Беллман Р. |
Введение в теорию матриц |
1969 | •• |
| 1317 |
|
Булдырев В.С., Павлов Б.С. |
Линейная алгебра. Функции многих переменных. |
1985 | •• |
|
|
О проекте