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