Introductory Logic and Formal Methodsby David Heath, Derek Allum, Lynne DunckleyWriting a summary for young readers…For young readersBook data: Open Library