ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА. ЭФН 2019, 55 (4), 44–47.