Browse Items (3117 total)

Delftse Foundations of Computation is a textbook for a one-quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, discrete structures, set theory, and the theory of…