Inductive Logic by Dov M. Gabbay