Weak Koenig's lemma implies Brouwer's fan theorem : a direct proof
-
- ISHIHARA Hajime
- Japan Advanced Institute of Science and Technology, School of Information Science, Associate Professor
Bibliographic Information
- Title
- Weak Koenig's lemma implies Brouwer's fan theorem : a direct proof
- Author
- Hajime Ishihara
Journal
-
- Notre Dame J. Formal Logic 47
-
Notre Dame J. Formal Logic 47 249-252, 2006
- Tweet
Details 詳細情報について
-
- CRID
- 1010000781808637955
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN