Thesis:Formalization of Asymptotic Notation in Higher-Order-Logic