[Galanwe]

> This is actually why I feel that mathematical texts tend to be not rigorous enough, rather than too rigorous.

This is _precisely_ the opinion of Roger Godement, French mathematician and member of the Bourbaky group.

I would highly recommend his books on Algebra. They are absolutely uncompromising on precision and correctness, while also being intuitive and laying down all the logical foundations of their rigor.

Overall, I cannot recommend enough the books of the Bourbaky group (esp. Dieudonne & Godement). They are a work of art in the same sense that TAOCP is for computer science.

[ykonstant]

Unfortunately, some of the Bourbaki books need to be read in French, because the typesetting on the English translations is so atrocious as to be unreadable; as a consolation, the typesetting on the original French is, as always, immaculate.