ThearithmeticofComputerScience.Thecontentscoverseniorandcomplicatedlogicmathematics.