Statistics for Исследования сложностей выводов в формальных системах / Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում / Investigations of proof complexities in formal systems