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