Any good philosophy of math books written for mathematician audiences?

It seems like a lot of them I've heard about are written for someone closer to the general public end of the spectrum, with the real good stuff just in scattered papers. Any recommended reading for a mathematician interested in seeing what the current philosopher mathematicians are saying?