If you come from a pure math theory first background I would advise starting out with Björks “Arbitrage theory in continuous time”, I personally found the lack of rigor and superfluous examples in Hull frustrating and found Björk much more approachable then you can look into Hull for real life practicalities like daycount conventions, etc. If you want to go into complex derivatives pricing I would advise looking at the Andersen and Piterbarg trilogy.