Brouwer meets Husserl On the Phenomenology of Choice Sequences - Atten, Mark.; SpringerLink (Online service) (Dordrecht : Springer, 2007)
Keywords: Phenomenology; Sequences (Mathematics); Intuitionistic mathematics