Login / Signup

Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.

Wim Veldman
Published in: Arch. Math. Log. (2014)
Keyphrases