| 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 | •• |
| 1406 |
|
Baumeister J. |
Lineare Algebra und Analytische Geometrie |
1996 | •• |
| 1405 |
|
Arbarello E., Harris J., James R. |
Geometry of Algebraic Curves (Vol. 1) |
1984 | •• |
| 1404 |
|
Фрейденталь Х. |
Язык логики |
1969 | •• |
| 1403 |
|
Харин Н.Н. |
Математическая логика и теория множеств |
1963 | •• |
| 1402 |
|
Gelfand S.I., Manin Yu.I. |
Methods of Homological Algebra |
1989 | •• |
| 1401 |
|
Столяр А.А. |
Логическое введение в математику |
1971 | •• |
| 1400 |
|
Столяр А.А. |
Логические проблемы преподавания математики |
1965 | •• |
| 1399 |
|
Манин Ю.И. |
Доказуемое и недоказуемое |
1979 | •• |
| 1398 |
|
Колмогоров А.Н., Драгалин А.Г. |
Математическая логика. Дополнительные главы |
1984 | •• |
| 1397 |
|
Попович М.В. |
Доказательство и понимание |
1986 | •• |
| 1396 |
|
Китчев Ф., Федоров Б.И. |
Методологический анализ оснований математики |
1988 | •• |
| 1395 |
|
Фреге Г. |
Основоположения арифметики: Логико-математическое исследование о понятии числа |
2000 | •• |
| 1394 |
|
Казимиров Н.И. |
Введение в аксиоматическую теорию множеств |
2000 | •• |
| 1393 |
|
Кулик Б.А. |
Логика естественных рассуждений |
2001 | •• |
| 1392 |
|
Pesic P. |
Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability |
2003 | •• |
| 1391 |
|
Wolter F., Wansing H., Вe Rijke M. |
Advances in modal logic (vol.3) |
2002 | •• |
| 1390 |
|
Levitz K., Levitz H. |
Logic and Boolean Algebra |
1997 | •• |
| 1389 |
|
Popper K. |
New foundations for logic |
1947 | •• |
| 1388 |
|
Steen S.W.P. |
Mathematical Logic with Special Reference to the Natural Numbers |
1972 | •• |
| 1387 |
|
Kneebone G.T. |
Mathematical Logic and the Foundation of Mathematics |
1963 | •• |
| 1385 |
|
Карри Х.Б. |
Основания математической логики |
1969 | •• |
| 1384 |
|
Горский Д.П., Таванц П.В. |
Логика |
1956 | •• |
| 1383 |
|
Гиндикин С.Г. |
Алгебра логики в задачах |
1972 | •• |
| 1382 |
|
Гильберт Д., Бернайс П. |
Основания математики. Теория доказательств. |
1982 | •• |
| 1381 |
|
Френкель А.А., Бар-Хиллел И. |
Основания теории множеств |
1966 | •• |
| 1380 |
|
Фейс Р. |
Модальная логика |
1974 | •• |
| 1379 |
|
Ebbinghaus H.-D., Flum J., Thomas W. |
Mathematical logic |
1984 | •• |
| 1378 |
|
Чупахин И.Я., Бродский И.Н. |
Формальная логика |
1977 | •• |
| 1377 |
|
Бродский И.Н. |
Отрицательные высказывания |
1973 | •• |
| 1376 |
|
Клини С., Весли Р. |
Основания интуиционистской математики с точки зрения теории рекурсивных функций |
1978 | •• |
| 1375 |
|
Калужнин Л.А |
Что такое математическая логика? |
1964 | •• |
| 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 | •• |
|
|
О проекте