Inductive Logic door John Woods & Professor Dov M. Gabbay