Article,

A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis.

.
J. Univers. Comput. Sci., 11 (12): 2086-2095 (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews