Aleksanyan, S.R. (2007) “ON PROOF NORMAL FORMS FOR SOME SYSTEMS OF CLASSICAL PROPOSITIONAL LOGIC”, Proceedings of the YSU A: Physical and Mathematical Sciences, 41(1 (212), pp. 38–45. doi:10.46991/PYSUA.2007.47.1.038.