|
|
 |
| Результат поиска |
Поиск книг, содержащих: Майхилл
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 276, 277, 299, 302 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 34, 116, 134, 136, 137, 138, 226, 229, 230, 231, 331, 363, 369, 371, 375, 413, 448, 455, 494, 508, 518 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 72, 105, 116, 135, 136, 137, 158, 163, 206, 236, 253, 254, 280, 286, 294, 296, 317, 346, 362, 384, 460, 518 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 18, 385, 392, 434 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 34, 47, 75, 165, 166, 168, 245 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 7, 13, 258, 261 | | Фейс Р. — Модальная логика | 211 | | Карри Х.Б. — Основания математической логики | 184, 188, 190, 517 | | Мартин-Лёф П. — Очерки по конструктивной математике | 38 | | Шенфилд Дж. — Степени неразрешимости | 110, 111, 125, 132, 162 |
|
|
|
|
О проекте