Complexity classes

There is a little about invariant and other things in Temporal Logic and Set-Builder Notation Reference

and some np stuff in Decidability and Complexity Classes