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]

Authors

Josef Berger

This author has not been identified. Look up 'Josef Berger' in Google

Hajime Ishihara

This author has not been identified. Look up 'Hajime Ishihara' in Google