3 books • 2 series
Mathematical Foundations for Computing (Macmillan Computer Science S.)
A First Course in Formal Logic and Its Applications in Computer Science
Mathematics for Computing (Computer Science)