|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теорема Гёделя о полноте
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 238 | | Мендельсон Э. — Введение в математическую логику | 78, 91 | | Клини С. — Математическая логика | 143, 145, 203, 340—385, 390, 440 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 139 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 86 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 90 | | Кон П. — Универсальная алгебра | 222 | | Карри Х.Б. — Основания математической логики | 149, 185, 189, 497 | | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 51, 171 | | Гладкий А.В. — Математическая логика | 228 | | Кейслер Г., Чэн Ч.Ч. — Теория моделей | 48, 84 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 214 | | Клини С.К. — Математическая логика | 143, 145, 203, 340—385, 390, 440 | | Мендельсон Э. — Введение в математическую логику | 78, 91 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 139 |
|
|
|
|
О проекте