00201nam a22000617a 4500008004100000020001400041245008400055140613b        xxu||||| |||| 00| 0 eng d  cAvailable  aThesis:Formalization of Asymptotic Notation in Higher-Order-LogiccNadeem Iqbal