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
- Tweet
詳細情報
-
- CRID
- 1010000781808637955
-
- 資料種別
- journal article
-
- データソース種別
-
- KAKEN