Concepts of Proof in Mathematics, Philosophy, and Computer Scienceby Dieter Probst, Peter SchusterProof theoryWriting a summary for young readers…For young readersBook data: Open Library