|
|
 |
| Результат поиска |
Поиск книг, содержащих: Эрбран
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 9, 12, 14—16, 78, 202, 203, 206, 207, 211, 212, 248, 259, 265, 421, 491 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 135, 280, 321, 360, 370, 387, 470, 499 | | Мендельсон Э. — Введение в математическую логику | 40, 78, 250, 261, 309 | | Клини С. — Математическая логика | 54, 155, 280, 307, 308, 383, 384, 402, 411, 414, 465 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 9, 11, 52, 53 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 475, 479 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 60, 280 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 16 | | Фейс Р. — Модальная логика | 174 | | Чёрч А. — Введение в математическую логику (том 1) | п. 186, п. 221, § 29, п. 290, п. 430, п. 431 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 20, 169, 171—172, 188, 289, 546—547 | | Карри Х.Б. — Основания математической логики | 132, 187, 240, 356, 357, 493, 500, 502, 503 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 10 | | Мартин-Лёф П. — Очерки по конструктивной математике | 18, 26, 125 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 127 | | Линдон Р. — Заметки по логике | 101—105, 107 | | Хант Э. — Искусственный интеллект | 344, 345 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 335 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 171 | | Клини С.К. — Введение в метаматематику | 91, 140, 163, 244, 290, 389, 407, 409 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 439, 538 | | Клини С.К. — Математическая логика | 54, 155, 280, 307, 308, 383, 384, 402, 411, 414 | | Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 289, 291 |
|
|
|
|
О проекте