Logic, Algebra, and Computationby F. L. Bauer, W. Brauer, G. HuetWriting a summary for young readers…For young readersBook data: Open Library