The book is devoted to the systematic presentation of the main ideas and methods of the theory of Boolean-valued models used in applications to functional analysis. It is designed for analysis specialists who want to master the new research method and original ideology associated with Boolean-valued models.