Brouwer s fan theorem and unique existence in constructive analysis

Josef Berger, Hajime Ishihara. Brouwer s fan theorem and unique existence in constructive analysis. Math. Log. Q., 51(4):360-364, 2005. [doi]

Abstract

Abstract is missing.