With the classical dimension theory as a model, this volume investigates the inductive, covering and basic aspects of the dimension functions, resulting in extensions of the sum, subspace and decomposition theorems and theorems about mappings into spheres. Examples and problems are presented.