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