Sayadyan, S. M. COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC. Proc. YSU A: Phys. Math. Sci. 2005, 39 (2 (207), 25-30. https://doi.org/10.46991/PYSUA.2005.39.2.025.