Weak Koenig's lemma implies Brouwer's fan theorem : a direct proof
-
- 石原 哉
- 北陸先端科学技術大学院大学
書誌事項
- タイトル
- Weak Koenig's lemma implies Brouwer's fan theorem : a direct proof
- 著者
- Hajime Ishihara
収録刊行物
-
- Notre Dame J. Formal Logic 47
-
Notre Dame J. Formal Logic 47 249-252, 2006