“ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА”. 2019. Эпистемология и философия науки 55 (4): 44–47. https://journal.iphras.ru/article/view/2359.