|
|
 |
| Результат поиска |
Поиск книг, содержащих: Московакис
| Книга | Страницы для поиска | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 72, 285, 476, 521, 532, 563, 583, 585 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 236, 237, 238, 251, 264, 266, 267, 269, 270, 272, 297, 299, 362 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 353, 363, 379, 392, 396, 398, 400, 401, 403, 407, 408, 413, 435 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 158, 162, 168, 178, 185, 246 |
|
|
|
|
О проекте