New Directions in the Philosophy of Mathematics by Thomas Tymoczko