Greek, Indian and Arabic Logic door John Woods, Professor Dov M. Gabbay & J. Gabbay