Probabilistic Induction in the Predicate Calculus (2005)

by C J Nix