ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА. Эпистемология и философия науки, [S. l.], v. 55, n. 4, p. 44–47, 2019. Disponível em: https://journal.iphras.ru/article/view/2359.. Acesso em: 23 jan. 2025.