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