|
|
 |
| Результат поиска |
Поиск книг, содержащих: Дребен
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 203, 212 | | Мендельсон Э. — Введение в математическую логику | 78, 299 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 346, 438 | | Клини С. — Математическая логика | 308, 384, 414, 418, 455 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 72 | | Чёрч А. — Введение в математическую логику (том 1) | п. 442 | | Карри Х.Б. — Основания математической логики | 493 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 309 | | Клини С.К. — Математическая логика | 308, 384, 414, 418, 455 |
|
|
|
|
О проекте