Badge

 Scholar Asked a question and accepted an answer.

Int earned this badge

dec 6 at 5:44
Why can't reachability be expressed in first order logic?

Others with this badge