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), 38–45. https://doi.org/10.46991/PYSU:A/2007.47.1.038