|
|
 |
| Результат поиска |
Поиск книг, содержащих: Выполнимость
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 231 | | Мендельсон Э. — Введение в математическую логику | 58 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 852 | | Клини С. — Математическая логика | 341, 384 | | Йех Т. — Теория множеств и метод форсинга | 25 | | Рейнгольд Э., Нивергельт Ю., Део Н. — Комбинаторные алгоритмы: теория и практика | 446—450 | | Мальцев А.И. — Алгебраические системы | 249 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 31, 164, 167, 171 | | Пуаза Б. — Курс теории моделей | 1.a, 2.a, 7.e | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 224 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 304 | | Клини С.К. — Математическая логика | 341, 384 | | Мендельсон Э. — Введение в математическую логику | 58 |
|
|
|
|
О проекте