Tags

  1. descriptive complexity
  2. NP
  3. second-order logic