Writing a Simple Operating System from Scratch
Nick Blundell
Language Unlimited
David Adger
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
The Problem of Disenchantment: Scientific Naturalism and Esoteric ...
Egil Asprem