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 practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming.
