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), pp. 25–30. doi:10.46991/PYSUA.2005.39.2.025.