Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Быстрый переход
По названию:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
По автору:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Ё А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
blank
Все ресурсы
Сортировка:

ID asc desc pic Авторы asc desc Название asc desc Год asc desc Доп.
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


blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте