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