Talk:Descriptive complexity theory: Difference between revisions