Digital Minimalism: Choosing a Focused Life in a Noisy World
Cal Newport
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Everything You Always Wanted To Know About Mathematics
Brendan W. Sullivan
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Proofs: A Long-Form Mathematics Textbook
Jay Cummings