Handbook of Logic in Artificial Intelligence and Logic Programming Volume 5by Dov M. Gabbay, C. Hogger, J. A. RobinsonWriting a summary for young readers…For young readersBook data: Open Library