68G15
- : Three semantical interpretations of a statistical theoremhood testing procedure. (English). Kybernetika, vol. 18 (1982), issue 5, pp. 440-446
- : Statistical testing procedure for lengths of formalized proofs. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (209)-224
- : Statistical theory of logical derivability. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (225)-239
- : Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
- : Statistical deducibility testing with stochastic parameters. (English). Kybernetika, vol. 14 (1978), issue 6, pp. (385)-396
Search
Partner of
