Proceedings of the 7th and 8th Asian Logic Conferencesby Rodney G. Downey, Decheng Ding, Mariko YasugiWriting a summary for young readers…For young readersBook data: Open Library