TY  - RPRT
TI  - Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's Alternative
AU  - Wim Veldman
PY  - 2022
UR  - https://arxiv.org/abs/1106.2738
ID  - 1106.2738
ER  -