Kybernetika 18 no. 5, 440-446, 1982

Three semantical interpretations of a statistical theoremhood testing procedure