[1]
Birštunas A. ir Reivytytė E. 2021. Loginio išvedimo paieška su prielaidų atsekamumu. Lietuvos matematikos rinkinys. 62, A (gruodž. 2021), 16-22. DOI:https://doi.org/10.15388/LMR.2021.25215.