Statistics for Տարբեր տրամաբանական համակարգերի որոշակի քանակական և որակական հատկությունների հետազոտում / Investigation of some quantitative and structural properties of different logical proof systems