%0 Journal Article
%A Šindelář, Jan
%T Statistical theory of logical derivability
%J Kybernetika
%D 1980
%P -239
%V 16
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1980__16_3_a1/
%G en
%F KYB_1980__16_3_a1