Handb Logic Art Intell V3 Hlai C door Professor Dov M. Gabbay & Dov M. (King'S. College London) Gabbay