I learned it originally from Jim Henle, and iirc he had a textbook on the hyperreals (“Infinitessimal Analysis”, possibly?)

This honors project has what looks like an accurate write up of the construction along with proofs of some of the main theorems: https://ideaexchange.uakron.edu/cgi/viewcontent.cgi?article=...