> I hope that all school libraries have copies of Rudin, Marx and Kripke too—and that’s it.

Honestly, I kind of doubt that would ever happen. Marx's most famous books might be kept only because of their extreme fame, but you'll rarely if ever see mathematicians or analytic philosophers like you listed. They'll rarely if ever be checked out, and will be weeded. A school library isn't an university library.