Mediaeval and Renaissance Logic by John Woods & Professor Dov M. Gabbay