论文信息 - A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula - 字舞流文

A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula

[1] Alonzo Church,et al. Introduction to Mathematical Logic. Part I , 1944 .

[2] Ivan Kramosil. Statistical estimation of deducibility in polyadic algebras , 1971, Kybernetika.

[3] C. Lewis,et al. A Survey Of Symbolic Logic , 1920 .

[4] S. Christian van Westrhenen. Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus , 1972, JACM.

[5] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[6] Ivan Kramosil. 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.) , 1972, Kybernetika.