| 1381 |
|
Френкель А.А., Бар-Хиллел И. |
Основания теории множеств |
1966 | •• |
| 1380 |
|
Фейс Р. |
Модальная логика |
1974 | •• |
| 1379 |
|
Ebbinghaus H.-D., Flum J., Thomas W. |
Mathematical logic |
1984 | •• |
| 1378 |
|
Чупахин И.Я., Бродский И.Н. |
Формальная логика |
1977 | •• |
| 1377 |
|
Бродский И.Н. |
Отрицательные высказывания |
1973 | •• |
| 1376 |
|
Клини С., Весли Р. |
Основания интуиционистской математики с точки зрения теории рекурсивных функций |
1978 | •• |
| 1373 |
|
Гильберт Д., Аккерман В. |
Основы теоретической логики |
1947 | •• |
| 1372 |
|
Таванец П.В. |
Проблемы логики |
1963 | •• |
| 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 | •• |
| 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 | •• |
|
|
О проекте