Essays on Gödel's reception of Leibniz, Husserl, and Brouwer - Atten, Mark van (Springer, 2015)