SAYADYAN, S. M. COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 39, n. 2 (207), p. 25–30, 2005. DOI: 10.46991/PYSU:A/2005.39.2.025. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol39_no2_2005_pp025-030. Acesso em: 22 jul. 2024.