Главная    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 Доп.
1373 Гильберт Д., Аккерман В. Основы теоретической логики 1947
1375 Калужнин Л.А Что такое математическая логика? 1964
1376 Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций 1978
1377 Бродский И.Н. Отрицательные высказывания 1973
1378 Чупахин И.Я., Бродский И.Н. Формальная логика 1977
1379 Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic 1984
1380 Фейс Р. Модальная логика 1974
1381 Френкель А.А., Бар-Хиллел И. Основания теории множеств 1966
1382 Гильберт Д., Бернайс П. Основания математики. Теория доказательств. 1982
1383 Гиндикин С.Г. Алгебра логики в задачах 1972
1384 Горский Д.П., Таванц П.В. Логика 1956
1385 Карри Х.Б. Основания математической логики 1969
1387 Kneebone G.T. Mathematical Logic and the Foundation of Mathematics 1963
1388 Steen S.W.P. Mathematical Logic with Special Reference to the Natural Numbers 1972
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


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