Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer - van Atten, Mark (Springer International Publishing, 2015)