Technical books exploring computer science fundamentals from first principles.
Looking for shorter, sharper writing? See papers.
From Foundations to Practice
A rigorous exploration of algorithm analysis techniques—asymptotic notation, recurrence relations, amortized analysis, and complexity theory. Built for those who seek deep understanding.
Arrays, Reasoning, Logic, Identity, Zero
One question — what is an array, really? — followed from a voltage difference across a transistor to tensor cores and quantum state vectors. Three volumes, one continuous descent.
The Mathematical Foundations of Computing
A comprehensive journey through the mathematical concepts underlying computer science—from ancient number systems through modern discrete mathematics, set theory, logic, and beyond.