Aleksanyan SR. ON PROOF NORMAL FORMS FOR SOME SYSTEMS OF CLASSICAL PROPOSITIONAL LOGIC. Proc. YSU A: Phys. Math. Sci. [Internet]. 2007 Mar. 5 [cited 2024 Nov. 23];41(1 (212):38-45. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol47_no1_2007_pp038-045