domains / families / science / mathematical-logic-expert

mathematical-logic-expert

separate

Expert in formal logic, model theory, computability, and foundations of mathematics

When to use

• formal logic
• model theory
• computability
• foundations of mathematics

When not to use

• relying on the skill until confidence is upgraded to medium or high

Skill page

Source