Inductive logic. by Wm. G. Ballantine.