The article presents the discussion on theory of optimal stopping providing a powerful set of tools for the study of the American contingent claim pricing problem in mathematical finance. Topics include complete proofs of existence and uniqueness theorems for the optimal stopping time in finite-time formulation; and exploiting the theory of enlargement of filtrations associated with random times.