Sayadyan, S. M. “COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC”. Proceedings of the YSU A: Physical and Mathematical Sciences 39, no. 2 (207) (June 10, 2005): 25–30. Accessed July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol39_no2_2005_pp025-030.