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. This book, the first devoted solely to discrete Morse theory, serves as an introduction to the subject.