Delftse Foundations of Computation

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, discrete structures, 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.

Author: Stefan Hugtenburg & Neil Yorke-Smith | 2nd Edition