Proof and the art of mathematics - Hamkins, Joel David (The MIT Press, 2020)