There exists a large scientific literature on black holes, including many excellent textbooks of various levels of difficulty. However, most of these prefer physical intuition to mathematical rigour. The object of this book is to fill this gap and present a detailed, mathematically oriented, extended introduction to the subject. The first part of the book starts with a presentation, in Chapter 1, of some basic facts about Lorentzian manifolds. Chapter 2 develops those elements of Lorentzian causality theory which are key to the understanding of black-hole spacetimes. We present some applications of the causality theory in Chapter 3, as relevant for the study of black holes. Chapter 4, which opens the second part of the book, constitutes an introduction to the theory of black holes, including a review of experimental evidence, a presentation of the basic notions, and a study of the flagship black holes: the Schwarzschild, Reissner–Nordström, Kerr, and Majumdar–Papapetrou solutions of the Einstein, or Einstein–Maxwell, equations. Chapter 5 presents some further important solutions: the Kerr–Newman–(anti-)de Sitter black holes, the Emperan–Reall black rings, the Kaluza–Klein solutions of Rasheed, and the Birmingham family of metrics. Chapters 6 and 7 present the construction of conformal and projective diagrams, which play a key role in understanding the global structure of spacetimes obtained by piecing together metrics which, initially, are expressed in local coordinates. Chapter 8 presents an overview of known dynamical black-hole solutions of the vacuum Einstein equations.