Texonom
/
Logic
/
Logical System
Search
Logical System
Creator
Creator
Seonglae Cho
Created
Created
2024 Jul 29 9:6
Editor
Editor
Seonglae Cho
Edited
Edited
2024 Jul 29 9:25
Refs
Refs
Components
Language
(
String
+
Grammar
)
Axiom
Inference Rule
s
Recommendations
Texonom
/
Logic
/
Logical System
Seonglae ChoSeonglae ChoSeonglae ChoSeonglae Cho