Discrete Morse theory is a powerful tool combining ideas in both topology and combinatorics. Invented by Robin Forman in the mid 1990s, discrete Morse theory is a combinatorial analogue of Marston Morse's classical Morse theory. Its applications are vast, including applications to topological data analysis, combinatorics, and computer science. This book, the first one devoted solely to discrete Morse theory, serves as an introduction to the subject. Since the book restricts the study of discrete Morse theory to abstract simplicial complexes, a course in mathematical proof writing is the...