Number systems : a path into rigorous mathematics /: a path into rigorous mathematics. (2021)