ある直観主義的認識論理とそのKripke型意味論
-
- SUZUKI Nobu-yuki
- Shizuoka University
Bibliographic Information
- Title
- ある直観主義的認識論理とそのKripke型意味論
- Author
- 鈴木信行
Journal
-
- Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008
-
Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008 43-46, 2008
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782473796866
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN