S. Christiaan van Westrhenen

1928

• The statistical estimation of provability in the first order predicate calculus