РОДИН, А. В. ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА. Эпистемология и философия науки, v. 55, n. 4, p. 44–47, 21 мар. 2019.