|
|
 |
| Результат поиска |
Поиск книг, содержащих: Мендельсон
| Книга | Страницы для поиска | | Грэхем Р., Кнут Д., Паташник О. — Конкретная математика. Основание информатики | 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 |
|
|
|
|
О проекте