Another language with brutally specific docs is Common Lisp. Even though I have really only dabbled in it, the Hyperspec is really pretty impressive.
At least one common factor between them is Guy Steele, I don't think that's a coincidence.
Edited to add that I'm pretty sure my comment was motivated by this comment by mahmud: http://news.ycombinator.com/item?id=1661254
He also documented ECMAScript 1, which I've found to be pleasurably precise.
I.e. there's probably a book on Visual Basic that's a good fit for just about anyone's level of interest and programming experience...assuming of course that one has an interest in Visual Basic.
On the other hand, K&R is a concise and well written.
Yet one has an inexhaustible supply of JavaScript examples only an F12 away.
1) ECMAScript, for being excrutiatingly detailed. Guy Steele did a wonderful job shoehorning an unambiguous specification around a loopy language. 2) PostgreSQL. While not particularly mathematical, Postgres docs do a good job of "covering all the bases"... potential "gotchas" and incompatibilities are always documented, and I never find myself wondering what a particular feature does.
[1] http://docs.racket-lang.org/guide/ [2] http://docs.racket-lang.org/reference/