I have a question in my mind, I want convert a problem to logic order 2 representation, but I can't, Also I don't know is it good to ask it in cstheory or not? I don't know can I say it's research level or not (problem is pretty hard but converting to logic 2 I can't say is hard or not), no one around me is expert in logic to help me, and I need to read some book, but If someone expert answer me my works will be done very faster, because main part of my problem is not related to logic.

  • 1
    $\begingroup$ Depending on the problem, it could well be relevant. $\endgroup$ Nov 2, 2011 at 19:01
  • $\begingroup$ @Kaveh understanding my problem is not easy for mathematical people but good suggestion. It doesn't have such a rule like CS? $\endgroup$
    – Saeed
    Nov 2, 2011 at 19:40
  • $\begingroup$ @Saeed, no, they don't restrict the scope to research level, but read their FAQ for more information (in fact it was created after MO which is research level only). $\endgroup$
    – Kaveh
    Nov 2, 2011 at 19:42

1 Answer 1


You can try Math.SE if you are not sure.

If it doesn't get answered there and based on the comments then you can decide whether it is suitable for cstheory or not.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .