Essays on Gödel's reception of Leibniz, Husserl, and Brouwer. ([2015])