Here you can find my lecture notes: Part 1 - Anti-de Sitter space. Part 2 - Globally hyperbolic manifolds: definitions and examples. Part 3 - Mess’ theorem.