|
|
 |
| Результат поиска |
Поиск книг, содержащих: Бун
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 279, 297 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 377, 505 | | Курош А.Г. — Теория групп | 496 | | Клини С. — Математическая логика | 317, 452, 463 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 57 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 126 | | Карри Х.Б. — Основания математической логики | 134 | | Чандлер Б., Магнус В. — Развитие комбинаторной теории групп | 97, 105, 193 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 370, 422 | | Линдон Р. — Заметки по логике | 63 | | Ольшанский А.Ю. — Геометрия определяющих соотношений в группах | 132, 433 | | Клини С.К. — Введение в метаматематику | 342, 505 | | Клини С.К. — Математическая логика | 317, 452, 463 |
|
|
|
|
О проекте