This text combines the theoretical foundations of computing with essential discrete mathematics. It follows the same organization as its predecessor, "Foundations of Computer Science" (also published by W.H. Freeman), with all examples and exercises in C. (read review)