Computational Logicby Dov M. Gabbay, Jörg H. Siekmann, John WoodsLogic, historyWriting a summary for young readers…For young readersBook data: Open Library