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