The Dialogical Roots of Deduction[0] is an excellent book that I was recommended by my math professor after making a comment about how mathematics are a form of persuasion, not a religious truth. It was refreshing to read something I could agree with so easily. That being said, I think a lot of philosophy of mathematics is not as insightful unless you also study mathematics. It is easy to misunderstand or try to apply theorems incorrectly.

0: https://www.cambridge.org/core/books/dialogical-roots-of-ded...