It is fairly trivial to leave books in the library without forcing children to read them or recommending that they should. I hope that all school libraries have copies of Rudin, Marx and Kripke too—and that’s it; there’s no need to force all the contents of the library on every pupil.
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.
They also have the The Communist Manifesto, which seems more like the kind of thing a precocious or edgy teen might actually read (at least in the pre-smartphone era).