|
|
 |
| Результат поиска |
Поиск книг, содержащих: Феферман
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 135, 345, 363, 463, 520, 521, 532 | | Мендельсон Э. — Введение в математическую логику | 108, 165, 166, 277, 306, 307, 309 | | Клини С. — Математическая логика | 305, 306, 463 | | Манин Ю.И. — Вычислимое и невычислимое | 98 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 72, 223, 262, 428, 521, 544, 578 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 58, 59 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 16, 438 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 220, 248 | | Мостовский А. — Конструктивные множества и их приложения | 225, 228 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 355, 370 | | Манин Ю.И. — Вычислимое и невычислимое | 98 | | Клини С.К. — Математическая логика | 305, 306, 463 |
|
|
|
|
О проекте