|
|
 |
| Результат поиска |
Поиск книг, содержащих: Бюхи
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 262 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 93, 428 | | Клини С. — Математическая логика | 317, 453 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 138 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 150, 159, 172, 182 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 154 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 419 | | Клини С.К. — Математическая логика | 317, 453 |
|
|
|
|
О проекте