Brouwer meets Husserl On the Phenomenology of Choice Sequences - Atten, Mark (Springer, 2007)