Intermediate Logic
David Bostock
The Man Who Knew Infinity
Robert Kanigel
How to Be a Modern Scientist
Jeffrey Leek
Writing A Compiler In Go
Thorsten Ball
Dive Into Algorithms
Bradford Tuckfield