|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теорема Гёделя о неполноте
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 236 | | Сингх С. — Великая теорема Ферма | 141 | | Верещагин Н.К., Шень А. — Вычислимые функции | 140, 141 | | Клини С. — Математическая логика | 300, 308, 326, 333, 390, 391 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 293 | | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 81 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 11, 105 | | Карри Х.Б. — Основания математической логики | 31, 35, 149, 181, 188 | | Клайн М. — Математика. Утрата определенности | 303—308 | | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 51, 171 | | Гладкий А.В. — Математическая логика | 394, 396 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 126, 142 | | Клайн М. — Математика. Утрата определенности | 303—308 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 232 | | Клини С.К. — Математическая логика | 300, 308, 326, 333, 390, 391 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 41 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 293 |
|
|
|
|
О проекте