Repository | Book | Chapter

(2008) One hundred years of intuitionism (1907–2007), Dordrecht, Springer.
Publication details
DOI: 10.1007/978-3-7643-8653-5_15
Full citation:
Martin-Löf, P. (2008)., The Hilbert-Brouwer controversy resolved?, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 243-256.