Browse Items (1 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, set theory and the theory of computation, along with…