Symbolic

Kind: pattern-type

Record: reasoning:pattern-type-symbolic

Canonical: Reasoning

formal systems and equations

Listed in Reasoning records, after Reflection and before Number.