The Mathematical Theory Of Black Holes