Inductive Logic door John Grier Hibben