Proof and Knowledge in Mathematics by Michael Detlefsen