Sayadyan, S. M. 2005. “COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC”. Proceedings of the YSU A: Physical and Mathematical Sciences 39 (2 (207): 25-30. https://doi.org/10.46991/PYSUA.2005.39.2.025.