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