* Foundations of Computer Science - http://infolab.stanford.edu/~ullman/focs.html
* Specifying Software: A Hands-On Introduction - https://www.amazon.com/Specifying-Software-Hands-Introductio... The name is a misnomer. See the ToC. This is actually a practical introduction to CS theory.
Fresh book recommendations delivered straight to your inbox every Thursday.
* Foundations of Computer Science - http://infolab.stanford.edu/~ullman/focs.html
* Specifying Software: A Hands-On Introduction - https://www.amazon.com/Specifying-Software-Hands-Introductio... The name is a misnomer. See the ToC. This is actually a practical introduction to CS theory.