1389 |
|
Popper K. |
New foundations for logic |
1947 | •• |
1390 |
|
Levitz K., Levitz H. |
Logic and Boolean Algebra |
1997 | •• |
1391 |
|
Wolter F., Wansing H., Вe Rijke M. |
Advances in modal logic (vol.3) |
2002 | •• |
1392 |
|
Pesic P. |
Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability |
2003 | •• |
1393 |
|
Кулик Б.А. |
Логика естественных рассуждений |
2001 | •• |
1394 |
|
Казимиров Н.И. |
Введение в аксиоматическую теорию множеств |
2000 | •• |
1395 |
|
Фреге Г. |
Основоположения арифметики: Логико-математическое исследование о понятии числа |
2000 | •• |
1396 |
|
Китчев Ф., Федоров Б.И. |
Методологический анализ оснований математики |
1988 | •• |
1397 |
|
Попович М.В. |
Доказательство и понимание |
1986 | •• |
1398 |
|
Колмогоров А.Н., Драгалин А.Г. |
Математическая логика. Дополнительные главы |
1984 | •• |
1399 |
|
Манин Ю.И. |
Доказуемое и недоказуемое |
1979 | •• |
1400 |
|
Столяр А.А. |
Логические проблемы преподавания математики |
1965 | •• |
1401 |
|
Столяр А.А. |
Логическое введение в математику |
1971 | •• |
1402 |
|
Gelfand S.I., Manin Yu.I. |
Methods of Homological Algebra |
1989 | •• |
1403 |
|
Харин Н.Н. |
Математическая логика и теория множеств |
1963 | •• |
1404 |
|
Фрейденталь Х. |
Язык логики |
1969 | •• |
1405 |
|
Arbarello E., Harris J., James R. |
Geometry of Algebraic Curves (Vol. 1) |
1984 | •• |
1406 |
|
Baumeister J. |
Lineare Algebra und Analytische Geometrie |
1996 | •• |
1407 |
|
Клини С.К. |
Введение в метаматематику |
1957 | •• |
1408 |
|
Goerss P.G., Jardine J.F. |
Simplicial Homotopy Theory |
1997 | •• |
1409 |
|
Таванец П.В. |
Философские вопросы современной формальной логики |
1962 | •• |
1410 |
|
Кутасов А.Д. |
Элементы математической логики |
1977 | •• |
1411 |
|
Петер Р. |
Игра с бесконечностью |
1967 | •• |
1412 |
|
Цубербиллер О.Н. |
Задачи и упражнения по аналитической геометрии |
2003 | •• |
1413 |
|
Бирман Л.А., Суслина Т.А. |
Линейная алгебра. Семестр 1. |
1999 | •• |
1414 |
|
Боровков А.А. |
Теория вероятностей |
1986 • | •• |
1415 |
|
Бурбаки Н. |
Группы и алгебры Ли (часть 3) |
1978 | •• |
1416 |
|
Ефимов Н.В., Розендорн Э.Р. |
Линейная алгебра и многомерная геометрия |
1970 | •• |
1417 |
|
Гильберт Д., Бернайс П. |
Основания математики. Логические исчисления и формализация арифметики. |
1979 | •• |
1418 |
|
Чёрч А. |
Введение в математическую логику (том 1) |
1960 | •• |
1419 |
|
Клини С. |
Математическая логика |
1973 | •• |
1420 |
|
Лакатос И. |
Доказательства и опровержения |
1967 | •• |
1421 |
|
Клеменс Х., Коллар Я., Мори С. |
Многомерная комплексная геометрия |
1993 | •• |
1422 |
|
Новиков П.С. |
Конструктивная математическая логика с точки зрения классической |
1977 | •• |
1423 |
|
Акивис М.А., Гольдберг В.В. |
Тензорное исчисление |
1969 | •• |
1424 |
|
Фейс К. |
Алгебра: кольца, модули и категории (том 2) |
1979 | •• |
1425 |
|
Пензов Ю.П. |
Элементы математической логики и теории множеств |
1968 | •• |
1426 |
|
Смальян Р. |
Теория формальных систем |
1981 | •• |
1427 |
|
Такеути Г. |
Теория доказательств |
1978 | •• |
1428 |
|
Попов А.И. |
Введение в математическую логику |
1959 | •• |
1429 |
|
Джонстон П.Т. |
Теория топосов |
1986 | •• |
1430 |
|
Цаленко М.Ш., Шульгейфер Е.Г. |
Основы теории категорий |
1974 | •• |
1431 |
|
Стяжкин Н.И. |
Формирование математической логики |
1967 | •• |
1432 |
|
Шапиро С.И. |
От алгоритмов — к суждениям (Эксперименты по обучению элементам математического мышления) |
1973 | •• |
1434 |
|
Levine M. |
Mixed motives |
1998 | •• |
1435 |
|
Abbondandolo A. |
Infinite dimensional Grassmannians |
2003 | •• |
1436 |
|
Björk J.-E. |
Rings of differential operators |
1979 | •• |
1437 |
|
Натансон И.П. |
Теория функций вещественной переменной |
1974 • | •• |
1438 |
|
Fulton W. |
Intersection theory |
1984 • | •• |
1439 |
|
Haynes T.W., Hedetniemi S.T., Slater P.J. |
Fundamentals of domination in graphs |
1998 | •• |