UPDATE: this has been fixed.
Our library catalog is temporarily down. I’m looking into it. in the meantime, you can search Worldcat to see what we own.