|
|
 |
| Результат поиска |
Поиск книг, содержащих: Буль
| Книга | Страницы для поиска | | Аппель П. — Теоретическая механика. Том второй. Динамика системы. Аналитическая механика | 430 | | Шафаревич И.Р. — Основные понятия алгебры | 29 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 331 | | Гурса Э. — Курс математического анализа. Том 2. Часть 2 | 210 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 100, 111 | | Шеннон К. — Работы по теории информации и кибернетике | 13, 59 | | Клини С. — Математическая логика | 64, 239, 452 | | Винберг Э.Б., Попов В.Л., Спрингер Т.А. — Алгебраическая геометрия - 4 | 145 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 12 | | Куратовский К., Мостовский А. — Теория множеств | 19 | | Крафт Х. — Геометрические методы в теории инвариантов | 10—12 | | Яглом А.М., Яглом И.М. — Вероятность и информация. | 65 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 94 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 60 | | Шафаревич И.Р. — Основные понятия алгебры | 26, 27 | | Джеммер М. — Эволюция понятий квантовой механики | 222, 223 | | Стройк Д.Я. — Краткий очерк истории математики | 220, 232 | | Гарнетт Дж. — Ограниченные аналитические функции | 128, 442 | | Южаков А.П., Айзенберг Л.А., Гамкрелидзе Р.В. (ред.) — Комплексный анализ - многие переменные-2 | 174 | | Фейс Р. — Модальная логика | 207, 422, 485, 501 | | Чёрч А. — Введение в математическую логику (том 1) | п. 125, п. 237, § 29, п. 240 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 11 | | Карри Х.Б. — Основания математической логики | 109, 236, 238, 239, 240, 434 | | Ватсон Г.Н. — Теория бесселевых функций. Том 1 | 37, 53, 124, 687 | | Спрингер Т.А. — Алгебраическая геометрия - 4. Линейные алгебраические группы | 145 | | Клайн М. — Математика. Утрата определенности | 182, 213, 214, 220 | | Флейшман Б.С. — Элементы теории потенциальной эффективности сложных систем | 151, 157, 201 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 328 | | Вилейтнер Г. — История математики от Декарта до середины XIX столетия | 389, 412 | | Неймарк Ю.И., Коган Н.Я., Савельев В.П. — Динамические модели теории управления | 15 | | Клини С.К. — Введение в метаматематику | 60 | | Энгелер Э. — Метаматематика элементарной математики | 13 | | Колмогоров А.Н. (ред.), Юшкевич А.П. (ред.) — Математика XIX века. Чебышевские направления в теории функций. Обыкновенные дифференциальные уравнения. Вариационное исчисление. Теория конечных разностей | 119, 122—125, 127, 181, 294, 295 | | Бохер М. — Введение в высшую алгебру | 237 | | Пиаджио Г. — Интегрирование дифференциальных уравнений | 11 | | Штокало И.З. (ред.) — История отечественной математики (том 2) | 515 | | Штокало И.З. (ред.) — История отечественной математики. Том 3 | 201 | | Штокало И.З. (ред.) — История отечественной математики. В 4-х томах | 201 | | Клайн М. — Математика. Утрата определенности | 182, 213, 214, 220 | | Клини С.К. — Математическая логика | 64, 239, 452 | | Штокало И.З. — История отечественной математики. Том 3. 1917-1967 | 201 |
|
|
|
|
О проекте