This text introduces value distribution theory starting with a survey of two Nevanlinna-type main theorems and defect relations for meromorphic mappings from parabolic manifolds into projective spaces. Then the unicity theory of meromorphic functions or mappings is discussed systematically and the discussion also covers value distribution theory of algebroid functions of several variables and its applications in unicity theory.