Mark Van Atten (2015) Essays on Gödel's reception of Leibniz, Husserl and Brouwer, Dordrecht, Springer.
pp. 33-64
This document is unfortunately not available for download at the moment.