The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem

Sundholm, G., & van Atten, M. (2008). The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem. In One Hundred Years of Intuitionism (1907–2007) (pp. 60–77). Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8653-5_5