Bohmian Mechanics was formulated in 1952 by David Bohm as a complete theory of quantum phenomena based on a particle picture. It was promoted some decades later by John S. Bell, who, intrigued by the manifestly nonlocal structure of the theory, was led to his famous Bell's inequalities. Experimental tests of the inequalities verified that nature is indeed nonlocal. Bohmian mechanics has since then prospered as the straightforward completion of quantum mechanics. This book provides a systematic introduction to Bohmian mechanics and to the mathematical abstractions of quantum mechanics, which range from the self-adjointness of the Schrödinger operator to scattering theory. It explains how the quantum formalism emerges when Boltzmann's ideas about statistical mechanics are applied to Bohmian mechanics. The book is self-contained, mathematically rigorous and an ideal starting point for a fundamental approach to quantum mechanics. It will appeal to students and newcomers to the field, as well as to established scientists seeking a clear exposition of the theory.