After Gödel : platonism and rationalism in mathematics and logic - Tieszen, Richard L. (Oxford University Press, 2013)