%0 Journal Article
%A Kramosil, Ivan
%T Statistical approach to proof theory
%J Kybernetika
%D 1979
%P 1,3
%V 15
%N Suppl
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1979__15_Suppl_a0/
%G en
%F KYB_1979__15_Suppl_a0