ある直観主義的認識論理とそのKripke型意味論
-
- 鈴木 信行
- 静岡大学
書誌事項
- タイトル
- ある直観主義的認識論理とそのKripke型意味論
- 著者
- 鈴木信行
収録刊行物
-
- Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008
-
Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008 43-46, 2008