|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теорема Тарского
| Книга | Страницы для поиска | | Биркгоф Г. — Теория решеток | 154, 159, 344, 443 | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 328 | | Верещагин Н.К., Шень А. — Вычислимые функции | 139, 140 | | Верещагин Н.К., Шень А. — Языки и исчисления | 235 | | Мендельсон Э. — Введение в математическую логику | 168 | | Гладкий А.В. — Математическая логика | 404 | | Энгелер Э. — Метаматематика элементарной математики | 32, 35 | | Кейслер Г., Чэн Ч.Ч. — Теория моделей | 307 | | Лорьер Ж.-Л. — Системы искусственного интеллекта | 114 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 232 | | Мендельсон Э. — Введение в математическую логику | 168 |
|
|
|
|
О проекте