Alonderis, R. (2024). Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai. Lietuvos Matematikos Rinkinys, 65(A), 9–17. https://doi.org/10.15388/LMD.2024.37367