Two textbooks are previewed this time. One is Logic in Computer Science: Modelling and Reasoning about Systems, Second Edition by Michael Huth and Mark Ryan of the Imperial College of Science, Technology, and Medicine, London and the University of Birmingham, respectively. Michael helped me get the format right for the News , which was greatly appreciated. The other is A Computational Introduction to Number Theory and Algebra by Victor Shoup of New York University. Enjoy.
/lp/association-for-computing-machinery/textbooks-vlL5ApY0Ra