Independent Axiom Systems of Minimal formulas for Classical Logic
書誌事項
- タイトル
- Independent Axiom Systems of Minimal formulas for Classical Logic
- 著者
- Yuichi Komori
収録刊行物
-
- Proceedings of the 39th MLG meeting
-
Proceedings of the 39th MLG meeting 56-58, 2006