PBDL
Unknown
Proofs-dual
Digital Minimalism
Cal Newport;
Proof and the Art of Mathematics
Joel David Hamkins