Complexity classes

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

and some np stuff in Decidable?