|
|
 |
| Результат поиска |
Поиск книг, содержащих: Гжегорчик
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 299 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 206, 225, 226, 301, 363, 375, 434, 451, 507 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 72 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 18, 20—22, 216, 226, 232, 262, 411, 428 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 93, 115, 118, 241 | | Карри Х.Б. — Основания математической логики | 51 | | Мартин-Лёф П. — Очерки по конструктивной математике | 67 | | Матиясевич Ю.В. — Десятая проблема Гильберта | 149 |
|
|
|
|
О проекте