РАСПРЕДЕЛЕННОЕ ПОЗНАНИЕ И МАТЕМАТИЧЕСКАЯ ПРАКТИКА В ЦИФРОВОМ ОБЩЕСТВЕ: ОТ ФОРМАЛИЗАЦИИ ДОКАЗАТЕЛЬСТВ К ПЕРЕСМОТРУ ОСНОВАНИЙ. epistem 2019, 55 (4), 160–173.