|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теорема о полноте
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 49, 207 | | Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 43, 45—47, 302, 303 | | Стинрод Н., Чинн У. — Первые понятия топологии | 56 | | Канторович Л.В., Акилов Г.П. — Функциональный анализ | 567 | | Никольский Н.К. — Лекции об операторе сдвига | 106 | | Мартин-Лёф П. — Очерки по конструктивной математике | 99, 102 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 31 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 63, 66, 93 | | Робинсон А. — Введение в теорию моделей и математическую логику | 31 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 413 | | Кейслер Г., Чэн Ч.Ч. — Теория моделей | 21 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 215 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 100, 192 |
|
|
|
|
О проекте