%0 Journal Article
%A Kramosil, Ivan
%T A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
%J Kybernetika
%D 1972
%P -148
%V 08
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1972__8_2_a2/
%G en
%F KYB_1972__8_2_a2