Title: The statistical estimation of provability in the first order predicate calculus
Subjects: Predicate calculus, Statistical decision