|
|
 |
| Результат поиска |
Поиск книг, содержащих: Крейсел
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 301, 307 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 135, 137, 270, 316, 332, 341, 342, 363, 365, 393, 443, 444, 456, 506, 513, 514, 521, 533 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 280, 422, 464, 468, 470, 475, 520, 521, 575, 576, 584—586 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 189, 298, 361 | | Клини С.К. — Введение в метаматематику | 192, 381 |
|
|
|
|
О проекте