|
|
Результат поиска |
Поиск книг, содержащих: Трулстра
Книга | Страницы для поиска | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 34, 35, 61, 75, 115, 155, 163, 165, 170, 171, 173, 175, 178, 179, 242, 243, 248 | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 7, 261, 264 |
|
|