Brouwer meets Husserl on the phenomenology of choice sequences - Atten, Mark van (Springer, 2007)
"This is an analysis, using Husserl's methods, of Brouwer's main contribution to the ontology of mathematics" (preface)