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