Statistics for Исследование сложностей выводов в системах неклассических логик / Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում / An investigation of the proofs complexities in the systems of nonclassical logics