Inductive Logic by John Woods & Professor Dov M. Gabbay