An introduction to discrete mathematics and formal system specificationby Darrel C. InceMathematicsComputer scienceSystem designWriting a summary for young readers…For young readersBook data: Open Library
