|
|
 |
| Результат поиска |
Поиск книг, содержащих: Крайзел
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 16, 358, 400 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 21, 22, 311, 314, 318, 385, 392, 410, 431 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 34, 73, 75, 155, 161, 163, 165, 170, 173, 175, 178, 179, 243, 244, 249 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 7, 10, 17, 18, 113, 116, 167, 108, 242, 253, 257, 260 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 18, 375 | | Шенфилд Дж. — Степени неразрешимости | 172 |
|
|
|
|
О проекте