Inductive Logic door William Gay Ballantine