I'm interested in books on Philosophy of Math written by Mathematicians. Preferably more recent writings. I consider that philosophy in a field should only be done by people that work on the field.
I saw here questions about good references on Philosophy of Math, but most books were mainly written by philosophers with non-mathematicians in mind. I'd like suggestions on books of "Philosophy of Math for Mathematicians".
The only book I've read on the topic was "Proofs and Refutations" by Lakatos.