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

square Второй курс

square Третий курс

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

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

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

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Мендельсон



КнигаСтраницы для поиска
Грэхем Р., Кнут Д., Паташник О. — Конкретная математика. Основание информатики668, 686
Мендельсон Э. — Введение в математическую логику222, 225, 302
Френкель А.А., Бар-Хиллел И. — Основания теории множеств73, 106, 112, 393, 450, 518
Новиков П.С. — Конструктивная математическая логика с точки зрения классической20, 197, 278, 319
Оре О. — Теория графов162, 166
Клини С. — Математическая логика290, 459
Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем14, 32, 49, 322, 326
Яглом А.М., Яглом И.М. — Вероятность и информация.285
Нильсон Н. — Искусственный интеллект. Методы поиска решений202
Кушнер Б.А. — Лекции по конструктивному математическому анализу434
Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ)38
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств8, 20, 34, 35, 40, 48, 245
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.532
Карри Х.Б. — Основания математической логики43
Чандлер Б., Магнус В. — Развитие комбинаторной теории групп127
Марков А.А., Нагорный Н.М. — Теория алгорифмов12, 424
Риордан Дж. — Введение в комбинаторный анализ217, 260
Робинсон А. — Введение в теорию моделей и мета-математику алгебры355, 364
Рейсленд Д. — Физика фононов199
Кардона М. — Рассеяние света в твердых телах198
Болл У., Коксетер Г. — Математические эссе и развлечения435
Клини С.К. — Математическая логика290, 459
Клейн Ф. — Лекции о развитии математики в XIX столетии.Часть 1.135
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте