|
|
 |
| Результат поиска |
Поиск книг, содержащих: Драгалин, А.Г.
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 317, 325 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 35, 45, 61, 62, 75, 151, 153, 162, 178, 179, 188, 210, 223, 242 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 258 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 20 | | Панов М.И. — Методические проблемы интуиционистской математики | 6—8, 164, 167, 168, 179, 182 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 441, 533 | | Кондаков Н.И. — Логический словарь-справочник | 164 | | Белова А.Д., Тихомиров В.М., Чернавский А.В. — Мы - математики с Ленинских гор. Часть 3. | 3 ч.: 386 |
|
|
|
|
О проекте