Probabilistic induction in the predicate calculus (2005)

by C Nix