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