Category Theory: Invariances and Symmetries in Computer Science by Zoran Majkic

Topology and Category Theory in Computer Science by G.M. Reed (English) Hardcove

First Course in Logic by Shawn Hedman

Rudiments of Calculus Hardcover

Mathematical Theory of Computation (McGraw-Hill Computer Science Series)

How to Design Programs: An Introduction to Programming and Computing, Matthew Fl

Practical Applications of Category Theory in Computer Science by Richard Aragon