Statistics for Исследование сложностных характеристик выводов в логических и логико-математических системах / Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում / An investigation of the proofs complexities in the logic and logic-mathematical system