Text this: Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer