3
$\begingroup$

What would be an example of decidable & undecidable in First Order Logic?

Edit: With first order formulas

  • 0
    The question is still nonsense. What is your definition of "decidable in first-order logic"?2012-12-11

2 Answers 2