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