Dalen, D.V L. E. J Brouwer-topologist, intuitionist, philosopher: How mathematics is rooted in life - London Springer 2013 - xii, 875p. ISBN: 978-1-447-14615-5