Tag: logic

May 25, 2026

• math
• logic
• foundations
• set-theory
• computability
• model-theory
• proof-theory
• type-theory
• canonical-reference

May 07, 2026

• research
• language-reference
• tier3
• family-index
• logic
• constraint
• datalog
• prolog