|
|
 |
| Результат поиска |
Поиск книг, содержащих: Рассел
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 17, 589 | | Зорич В.А. — Математический анализ (том 1) | 6, 28 | | Мендельсон Э. — Введение в математическую логику | 7, 10, 188, 304 | | Секей Г. — Парадоксы в теории вероятностей и математической статистике | IV/Введение, 4 | | Клини С. — Математическая логика | 65, 201, 218, 221—225, 239, 390, 461, 463 | | Сивухин Д.В. — Общий курс физики (том 5, часть 1). Атомная физика | 240, 259 | | Сахаров А.Д. — Воспоминания | I—388 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 32, 49 | | Куратовский К., Мостовский А. — Теория множеств | 69, 141, 249 | | Мулен Э., Меньшиков О.Р. (пер.) — Кооперативное принятие решений. Аксиомы и модели | 74 | | Кантор Г. — Труды по теории множеств | 242 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 85 | | Нильсон Н. — Искусственный интеллект. Методы поиска решений | 170 | | Физер Л., Физер М. — Органическая химия. Углубленный курс (Том 2) | 691, 692, 693 | | Клейн Ф. — Элементарная математика с точки зрения высшей.Том 1: Арифметика. Алгебра. Анализ | 383 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 60, 144 | | Колмогоров А.Н., Юшкевич А.П. — Математика XIX века (том 1): математическая логика, алгебра, теория чисел, теория вероятностей | 21 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 96, 206 | | Пуанкаре А. — Избранные труды. (Том 3) | III — 657, 658 | | Франсис Д. — Книжка с картинками по топологии | 7 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 10, 41, 55, 196 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 15, 92, 437 | | Джеммер М. — Эволюция понятий квантовой механики | 330 | | Стройк Д.Я. — Краткий очерк истории математики | 206, 220 | | Медведев Ф.А. — Французская школа теории функций и множеств на рубеже XIX - XX вв. | 110, 115—117, 122, 125, 126, 130, 141, 160—163, 189 | | Вейнберг С. — Гравитация и космология. Принципы и приложения общей теории относительности | 457, 458, 460, 522, 523, 594 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 90, 104 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 96 | | Фейс Р. — Модальная логика | 32, 260, 303 | | Чёрч А. — Введение в математическую логику (том 1) | п. 5, п. 12, п. 13, п. 17, п. 28, п. 65, п. 74, п. 77, § 05, п. 92, п. 104, п. 107, п. 125, п. 165, п. 171, § 28, п. 224, п. 225, п. 226, § 29, п. 244, п. 245. п. 252, п. 297, п. 309, § 49, п. 454, п. 461, п. 502, п. 535, п. 545, п. 546, п. 559, § 58, п. 574, п. 575, п. 577, п. 578, п. 579, п. 581, п. 585, § 59, п. 587, п. 590 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 11—12, 14, 39, 43, 95, 211, 468 | | Карри Х.Б. — Основания математической логики | 21, 22, 23, 24, 25, 32, 33, 40, 41, 43, 47, 53, 54, 55, 102, 133, 140, 149, 237, 238, 352, 417, 418, 430, 433, 434 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 34, 412 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 304, 319 | | Харари Ф., Палмер Э. — Перечисление графов | 201, 297 | | Мартин-Лёф П. — Очерки по конструктивной математике | 30 | | Клайн М. — Математика. Утрата определенности | 113, 188, 218, 220, 235, 237—241, 245, 253—267, 285, 286, 292, 294, 296, 298, 301, 304, 319, 322, 359, 364, 374, 380 | | Линдон Р. — Заметки по логике | 64, 110 | | Кардона М. — Рассеяние света в твердых телах | 13 | | Хант Э. — Искусственный интеллект | 14, 17, 301 | | Зорич В.А. — Математический анализ (Часть 1) | 7, 33 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 265, 377 | | Лихтенберг А., Либерман М. — Регулярная и стохастическая динамика | 424 | | Вебер Дж. — Общая теория относительности и гравитационные волны | 259 | | Девис М. — Прикладной нестандартный анализ | 37 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 19, 71, 152, 168, 184, 188 | | Энгелер Э. — Метаматематика элементарной математики | 13—15 | | Колмогоров А.Н. (ред.), Юшкевич А.П. (ред.) — Математика XIX века. Чебышевские направления в теории функций. Обыкновенные дифференциальные уравнения. Вариационное исчисление. Теория конечных разностей | 119, 125 | | Сивухин Д.В. — Общий курс физики (том 5). Атомная и ядерная физика | 231, 243 | | Клейн Ф. — Элементарная математика с точки зрения высшей, том 1 | 383 | | Клайн М. — Математика. Поиск истины | 11, 228, 233, 250, 263 | | Кляус Е.М. — Нильс Бор | 50 | | Игнациус Г.И. — Владимир Андреевич Стеклов | 104 | | Налимов В.В. — Вероятностная модель языка | 4, 18, 28, 35, 37, 54, 59, 67, 82, 97, 109, 123, 141, 162, 171, 175, 223—224, 249, 263, 268 | | Клайн М. — Математика. Утрата определенности | 113, 188, 218, 220, 235, 237—241, 245, 253—267, 285, 286, 292, 294, 296, 298, 301, 304, 319, 322, 359, 364, 374, 380 | | Пуанкаре А. — Избранные труды. В трех томах. Том 3. Математика. Теоретическая физика. Анализ математических и естественнонаучных работ Анри Пуанкаре | III-657, 658 | | Клини С.К. — Математическая логика | 65, 201, 218, 221—225, 239, 390, 461, 463 | | Клейн Ф. — Элементарная математика с точки зрения высшей. Арифметика. Алгебра. Анализ | 383 |
|
|
|
|
О проекте