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