「」 Lingenic
Formal Logical Systems
⊤
⊃
Knowledge Base
⊃
Logic
⊃
Formal Logical Systems
2026-10-23T055632.935
+
000000029403320