ALEKSANYAN, S. R. ON PROOF NORMAL FORMS FOR SOME SYSTEMS OF CLASSICAL PROPOSITIONAL LOGIC. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 41, n. 1 (212), p. 38–45, 2007. DOI: 10.46991/PYSU:A/2007.47.1.038. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol47_no1_2007_pp038-045. Acesso em: 22 jul. 2024.