ALONDERIS, Romas. Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai. Lietuvos matematikos rinkinys, [S. l.], v. 65, n. A, p. 9–17, 2024. DOI: 10.15388/LMD.2024.37367. Disponível em: https://www.zurnalai.vu.lt/LMR/article/view/37367. Acesso em: 1 may. 2025.