Fields of Logic and Computationby Andreas Blass, Nachum Dershowitz, Wolfgang ReisigWriting a summary for young readers…For young readersBook data: Open Library