Proceedings of the Sixth Asian Logic Conferenceby Q. Feng, C. T. ChongWriting a summary for young readers…For young readersBook data: Open Library