Building Blocks for Theoretical Computer Science
Margaret M. Fleck
A Gentle Path through the 12 Steps and 12 Principles Bundle
Patrick Carnes
Introduction to the Theory of Computation, Second Edition
Michael Sipser
Foundations of Programming
Karl Seguin
The Colour of Magic
Terry Pratchett