His book Analysis I, and potentially also his linear algebra lecture come to mind.