Independent Axiom Systems of Minimal formulas for Classical Logic
Bibliographic Information
- Title
- Independent Axiom Systems of Minimal formulas for Classical Logic
- Author
- Yuichi Komori
Journal
-
- Proceedings of the 39th MLG meeting
-
Proceedings of the 39th MLG meeting 56-58, 2006
- Tweet
Details 詳細情報について
-
- CRID
- 1010282256788382855
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN