Big O Notation/Data Structures/Algorithms, ala Dr. Knuth
Proof and theorems
Computer architecture and design (NAND gates and the like)
Language design, interpretation, and implementation
...and much more.
Do not get me wrong, I believe this book is valuable (BIG 'THANK YOU' to Ian Wienand for it). I just wish the title could have been different.