Delftse Foundations of Computation is a textbook for an introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory...