Black holes present one of the most fascinating predictions of Einstein's general theory of relativity. There is strong evidence of their existence through observation of active galactic nuclei, including the centre of our galaxy, observations of gravitational waves, and others.There exists a large scientific literature on black holes, including many excellent textbooks at various levels. However, most of these steer clear from the mathematical niceties needed to make the theory of black holes a mathematical theory. Those which maintain a high mathematical standard are either focused on specific topics, or skip many details. The objective of this book is to fill this gap and present a detailed, mathematically oriented, extended introduction to the subject.