Books by Gabriele Lolli
The Meaning of Proofs
Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story.