Родин, Андрей Вячеславович. «ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА». Эпистемология и философия науки 55, no. 4 (март 21, 2019): 44–47. просмотрено май 18, 2022. https://journal.iphras.ru/article/view/2359.