mathematical-logic-expert

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