|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теорема Чёрча
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 160, 205 | | Мендельсон Э. — Введение в математическую логику | 173 | | Клини С. — Математическая логика | 326, 352 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 269 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 180 | | Гладкий А.В. — Математическая логика | 413 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 158, 202 | | Клини С.К. — Математическая логика | 326, 352 | | Мендельсон Э. — Введение в математическую логику | 173 | | Андреева Е.В., Босова Л.Л., Фалина И.Н. — Математические основы информатики | 227 |
|
|
|
|
О проекте