Inductive Logic by W G Ballantine