|
|
 |
| Результат поиска |
Поиск книг, содержащих: Хенкин
| Книга | Страницы для поиска | | Энгелькинг Р. — Общая топология | 169 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 426 | | Чёрч А. — Введение в математическую логику (том 1) | п. 288, § 29, § 49, п. 465, п. 486, п. 510, п. 513, п. 558 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 45, 80, 190, 298, 370 | | Клини С.К. — Введение в метаматематику | 345, 382, 434 | | Энгелер Э. — Метаматематика элементарной математики | 74 | | Рудин У. — Теория функций в единичном шаре из С^n | 122, 176, 198, 212, 226, 360, 365, 372, 389 |
|
|
|
|
О проекте