The book details the formalization of intuitionistic analysis belonging to Kleene and examines the interpretations of this formalism by means of the theory of recursive functions. On this basis, a number of interesting metamathematic results are established. One of the chapters is devoted to the presentation of the formal system of the Brower theory of the continuum developed in the book.